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

Floris Geerts

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.

Floris Geerts

Floris Geerts: Moving Objects and Their Equations of Motion. CDB 2004 : 41-52

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

Floris Geerts: Linear Approximation of Semi-algebraic Spatial Databases Using Transitive Closure Logic, in Arbitrary Dimension. DBPL 2001 : 182-197

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

Floris Geerts, Bart Goethals , Jan Van den Bussche : A Tight Upper Bound on the Number of Candidate Patterns. ICDM 2001 : 155-162

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

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

Floris Geerts, Chris Blondia : Superposition of Markov sources and long range dependence. Broadband Communications 1998 : 550-562

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

Chris Blondia , Floris Geerts: The Correlation Structure of the Output of an ATM Multiplexer. Modelling and Evaluation of ATM Networks 1997 : 235-250

1 [ 1 ] [ 3 ]

2 [ 2 ] [ 6 ]

3 [ 6 ]

4 [ 7 ]

5 [ 2 ] [ 4 ] [ 5 ] [ 7 ] [ 9 ] [ 10 ]




©2004 Association for Computing Machinery