Constraint Databases

Gabriel M. Kuper, Leonid Libkin, Jan Paredaens (Eds.): Constraint Databases. Springer 2000, ISBN 3-540-66151-4

Web site of this book

• Gabriel M. Kuper, Leonid Libkin, Jan Paredaens: Introduction. 1-16

Theoretical Foundations

• Jan Van den Bussche: Constraint Databases, Queries, and Query Languages. 20-54
• Michael Benedikt, Leonid Libkin: Expressive Power: The Finite Case. 55-87
• Stéphane Grumbach, Gabriel M. Kuper, Jianwen Su: Expressive Power: The Infinite Case. 89-107
• Michael Benedikt, Leonid Libkin: Query Safety with Constraints. 109-129
• Jan Chomicki, Leonid Libkin: Aggregate Languages for Constraint Databases. 131-154
• Peter Z. Revesz: Datalog and Constraints. 155-170

Spatial and Temporal Data

• Gabriel M. Kuper, Michel Scholl: Geographic Information Systems. 175-198
• Marc Gyssens, Luc Vandeurzen, Dirk Van Gucht: Linear-Constraint Databases. 199-229
• Bart Kuijpers, Victor Vianu: Topological Queries. 231-273
• Bart Kuijpers, Gabriel M. Kuper, Jan Paredaens: Euclidean Query Languages. 275-291
• Bart Kuijpers, Dirk Van Gucht: Genericity in Spatial Databases. 293-303
• Pierre Wolper: Linear Repeating Points. 305-314

Algorithmic Aspects

• Stéphane Grumbach, Zoé Lacroix, Philippe Rigaux, Luc Segoufin: Optimization Techniques. 319-334
• Dina Q. Goldin: Constraint Algebras. 335-342
• Sridhar Ramaswamy: I/O-Efficient Algorithms for CDBs. 343-360

Prototypes

• Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin: The DEDALE Prototype. 365-382
• Peter Z. Revesz: The DISCO System. 383-389
• David Toman: SQL/TP: A Temporal Extension of SQL. 391-399