Welcome to D
SIGMOD 2003
PODS 2003
SIGMOD-RECOR
ADBIS
CIDR 2003
CIKM 2003
DASFAA 2003
Data Enginee
DEBS
DMKD 2003
DOLAP 2003
DPDJ 2003
ER
GIS 2003
Hypertext 20
ICDE 2003
ICDM 2003
ICDT 2003
JCDL 2003
KRDB 2003
MIR 2003
MIS 2003
MMDB 2003
RIDE 2003
SBBD 2003
SIGIR 2003
SIGIR-FORUM
SIGKDD 2003
SIGKDD-EXP
SSDBM 2003
TIME 2003
TODS
VLDB 2003
VLDB Journal
WIDM 2003
About DiSC 2
Editorial Bo
Acknowledgem
DiSC 2004 Pr
ADVIS
DiSC'04 Feed
DiSC'04 Site
Search DiSC'
<<<Author Index>>>
Copyright No

Bart Kuijpers

Papers on DiSC'04


Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases

Publications


Note: Links lead to the DBLP on the Web.

Bart Kuijpers

Bart Kuijpers, Peter Z. Revesz : Constraint Databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, CDB'04, Paris, June 12-13, 2004 Springer 2004

Joos Heintz , Bart Kuijpers: Constraint Databases, Data Structures and Efficient Query Evaluation. CDB 2004 : 1-24

Floris Geerts , Bart Kuijpers: Topological formulation of termination properties of iterates of functions. Inf. Process. Lett. 89 (1): 31-35 (2004)

Floris Geerts , Bart Kuijpers: Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases. ICDT 2003 : 190-206

Luca Forlizzi , Bart Kuijpers, Enrico Nardelli : Region-Based Querz Languages for Spatial Databases in the Topological Data Model. SSTD 2003 : 344-361

Jan Chomicki , Sofie Haesevoets , Bart Kuijpers, Peter Z. Revesz : Classes of Spatio-Temporal Objects and their Closure Properties. Ann. Math. Artif. Intell. 39 (4): 431-461 (2003)

Bart Kuijpers: Book review: Introduction to Constraint Databases by Peter Revesz. Texts in Computer Science, Springer-Verlag, 2002, ISBN 0-387-98729-0, xiv + 393 pages, 112 illustrations, hardcover. TPLP 3 (6): 765-767 (2003)

Bart Kuijpers: Introduction to Constraint Databases - Book Review. SIGMOD Record 31 (3): 35-36 (2002)

Floris Geerts , Sofie Haesevoets , Bart Kuijpers: A Theory of Spatio-Temporal Database Queries. DBPL 2001 : 198-212

Bart Kuijpers, Victor Vianu : Topological Queries. Constraint Databases 2000 : 231-273

Bart Kuijpers, Gabriel M. Kuper , Jan Paredaens : Euclidean Query Languages. Constraint Databases 2000 : 275-291

Bart Kuijpers, Dirk Van Gucht : Genericity in Spatial Databases. Constraint Databases 2000 : 293-303

Floris Geerts , Bart Kuijpers: Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic. PODS 2000 : 126-135

Sofie Haesevoets , Bart Kuijpers: Closure Properties of Classes of Spatio-Temporal Objects under Boolean Set Operations. TIME 2000 : 79-86

Bart Kuijpers, Jan Paredaens , Dirk Van Gucht : Towards a Theory of Movie Database Queries. TIME 2000 : 95-102

Bart Kuijpers, Jan Paredaens , Jan Van den Bussche : Topological Elementary Equivalence of Closed Semi-Algebraic Sets in The Real Plane. J. Symb. Log. 65 (4): 1530-1555 (2000)

Floris Geerts , Bart Kuijpers: Expressing Topological Connectivity of Spatial Databases. DBPL 1999 : 224-238

Bart Kuijpers, Jan Van den Bussche : On Capturing First-Order Topological Properties of Planar Spatial Databases. ICDT 1999 : 187-198

Stijn Dekeyser , Bart Kuijpers, Jan Paredaens , Jef Wijsen : Nested Data Cubes for OLAP (Extended Abstract). ER Workshops 1998 : 129-140

Floris Geerts , Bart Kuijpers, Jan Van den Bussche : Topological Canonization of Planar Spatial Data and Its Incremental Maintenance. FMLDO 1998 : 55-67

Bart Kuijpers, Kris Dockx : An Intelligent Man-Machine Dialogue System Based on AI Planning. Appl. Intell. 8 (3): 235-245 (1998)

Jan Paredaens , Bart Kuijpers: Data Models and Query Languages for Spatial Databases. Data Knowl. Eng. 25 (1-2): 29-53 (1998)

Bart Kuijpers, Marc Smits : On Expressing Topological Connectivity in Spatial Datalog. CDB 1997 : 116-133

Jan Paredaens , Bart Kuijpers, Gabriel M. Kuper , Luc Vandeurzen : Eucil, Tarski, and Engler Encompassed (Preliminary Report). DBPL 1997 : 1-24

Bart Kuijpers: Degrees of Monotonicity of Spatial Transformations. DBPL 1997 : 60-77

Bart Kuijpers, Jan Paredaens , Jan Van den Bussche : On Topological Elementary Equivalence of Spatial Databases. ICDT 1997 : 432-446

Bart Kuijpers, Jan Paredaens , Marc Smits , Jan Van den Bussche : Termination Properties of Spatial Datalog Programs. Logic in Databases 1996 : 101-116

Bart Kuijpers, Jan Paredaens , Jan Van den Bussche : Lossless Representation of Topological Spatial Data. SSD 1995 : 1-13

Bart Kuijpers, Jan Paredaens , Luc Vandeurzen : Semantics in Spatial Databases. Semantics in Databases 1995 : 114-135

1 [ 2 ] [ 3 ] [ 4 ] [ 10 ] [ 12 ] [ 14 ]

2 [ 24 ]

3 [ 11 ]

4 [ 9 ]

5 [ 25 ]

6 [ 10 ] [ 13 ] [ 17 ] [ 21 ] [ 26 ] [ 27 ]

7 [ 15 ] [ 18 ]

8 [ 16 ] [ 21 ] [ 24 ]

9 [ 28 ]

10 [ 6 ] [ 19 ]

11 [ 25 ]

12 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 6 ] [ 8 ] [ 11 ] [ 14 ] [ 15 ] [ 19 ]

13 [ 24 ] [ 29 ]

14 [ 3 ] [ 7 ]

15 [ 1 ] [ 6 ]

16 [ 20 ]

17 [ 11 ]




©2004 Association for Computing Machinery