Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
SIGIR 2001
SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Peter Z. Revesz

Papers on DiSC'02


Constraint Databases and Temporal Reasoning

Approximate Query Evaluation Using Linear Constraint Databases

Publications


Note: Links lead to the DBLP on the Web.

Peter Z. Revesz

37 Peter Z. Revesz: Introduction to Constraint Databases. Springer 2002

36 Peter Z. Revesz, Mengchu Cai : Efficient Querying and Animation of Periodic Spatio-Temporal Databases. Annals of Mathematics and Artificial Intelligence 36 (4): 437-457 (2002)

35 Peter Z. Revesz, Rui Chen , Min Ouyang : Approximate Query Evaluation Using Linear Constraint Databases. TIME 2001 : 170-175

34 Peter Z. Revesz: Constraint Databases and Temporal Reasoning. TIME 2001

33 Peter Z. Revesz, Mengchu Cai : Efficient Querying of Periodic Spatiotemporal Objects. CP 2000 : 396-410

32 Peter Z. Revesz: Datalog and Constraints. Constraint Databases 2000 : 155-170

31 Peter Z. Revesz: The DISCO System. Constraint Databases 2000 : 383-389

30 Mengchu Cai , Dinesh Keshwani , Peter Z. Revesz: Parametric Rectangles: A Model for Querying and Animation of Spatiotemporal Databases. EDBT 2000 : 430-444

29 Min Ouyang , Peter Z. Revesz: Algorithms for Cartogram Animation. IDEAS 2000 : 231-235

28 Rui Chen , Min Ouyang , Peter Z. Revesz: Approximating Data in Constraint Databases. SARA 2000 : 124-143

27 Peter Z. Revesz: Reformulation and Approximation in Model Checking. SARA 2000 : 202-218

26 Peter Z. Revesz, Rui Chen , Pradip Kanjamala , Yiming Li , Yuguo Liu , Yonghui Wang : The MLPQ/GIS Constraint Database System. SIGMOD Conference 2000 : 601

25 Jan Chomicki , Yuguo Liu , Peter Z. Revesz: Animating Spatiotemporal Constraint Databases. Spatio-Temporal Database Management 1999 : 224-241

24 Jan Chomicki , Peter Z. Revesz: A Geometric Framework for Specifying Spatiotemporal Objects. TIME 1999 : 41-46

23 Jan Chomicki , Peter Z. Revesz: Constraint-based Interoperability of Spatiotemporal Databases. GeoInformatica 3 (3): 211-243 (1999)

22 Peter Z. Revesz: Safe Datalog Queries with Linear Constraints. CP 1998 : 355-369

21 Peter Z. Revesz: Safe Query Languages for Constraint Databases. TODS 23 (1): 58-99 (1998)

20 Peter Z. Revesz: Genomic Database Applications in DISCO. CDB 1997 : 234-245

19 Peter Z. Revesz: Problem Solving in the DISCO Constraint Database System. CDB 1997 : 302-315

18 Peter Z. Revesz: Model-Theoretic Minimal Chenge Operators for Constraint Databases. ICDT 1997 : 447-460

17 Peter Z. Revesz, Yiming Li : MLPQ: A Linear Constraint Database System with Aggregate Operators. IDEAS 1997 : 132-137

16 Jan Chomicki , Peter Z. Revesz: Constraint-Based Interoperability of Spatiotemporal Databases. SSD 1997 : 142-161

15 Peter Z. Revesz: Refining Restriction Enzyme Genome Maps. Constraints 2 (3/4): 361-375 (1997)

14 Gösta Grahne , Alberto O. Mendelzon , Peter Z. Revesz: Knowledgebase Transformations. JCSS 54 (1): 98-112 (1997)

13 Jo-Hag Byon , Peter Z. Revesz: DISCO: A Constraint Database System with Sets. CDB 1995 : 68-83

12 Peter Z. Revesz: Safe Stratified Datalog with Integer Order Programs. CP 1995 : 154-169

11 Peter Z. Revesz: Datalog Queries of Set Constraint Databases. ICDT 1995 : 425-438

10 Peter Z. Revesz: Constraint Databases: A Survey. Semantics in Databases 1995 : 209-246

9 Paris C. Kanellakis , Gabriel M. Kuper , Peter Z. Revesz: Constraint Query Languages. JCSS 51 (1): 26-52 (1995)

8 Divesh Srivastava , Raghu Ramakrishnan , Peter Z. Revesz: Constraint Objects. PPCP 1994 : 218-228

7 Peter Z. Revesz: On the Semantics of Theory Change: Arbitration between Old and New Information. PODS 1993 : 71-82

6 Peter Z. Revesz: A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints. TCS 116 (1&2): 117-149 (1993)

5 Gösta Grahne , Alberto O. Mendelzon , Peter Z. Revesz: Knowledgebase Transformations. PODS 1992 : 246-260

4 Peter Z. Revesz: A Closed Form for Datalog Queries with Integer Order. ICDT 1990 : 187-201

3 Paris C. Kanellakis , Gabriel M. Kuper , Peter Z. Revesz: Constraint Query Languages. PODS 1990 : 299-313

2 Paris C. Kanellakis , Peter Z. Revesz: On the Relationship of Congruence Closure and Unification. JSC 7 (3/4): 427-444 (1989)

1 Paris C. Kanellakis , Peter Z. Revesz: On the Relationship of Congruence Closure and Unification. DBPL 1987 : 23-41




DiSC'02 © 2003 Association for Computing Machinery