CDB 1997: Delphi, Greece

Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace (Eds.): Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers. Lecture Notes in Computer Science 1191 Springer 1997, ISBN 3-540-62501-1

Invited Talk

Christos H. Papadimitriou: Planar Topological Queries. 1-6

Overview

Volker Gaede, Mark Wallace: An Informal Introduction to Constraint Database Systems. 7-52
Daniel P. Miranker, Roberto J. Bayardo Jr., Vasilis Samoladas: Query Evaluation as Constraint Search; An Overview of Early Results. 53-63

Languages

David Toman: Computing the Well-Founded Semantics for Constraint Extensions of Datalog. 64-79
Yujun Wang, Baile Shi, Yunyao Qu: Decomposition and Lossless Join in Constraint Databases. 80-91
Mohand-Said Hacid, Patrick Marcel, Christophe Rigotti: A Rule-Based CQL for 2-Dimensional Tables. 92-104

Expressiveness of Spatial Languages

Foto N. Afrati, Theodore Andronikos, Theodore G. Kavalieros: On the Expressiveness of Query Languages with Linear Constraints; Capturing Desirable Spatial Properties. 105-115
Bart Kuijpers, Marc Smits: On Expressing Topological Connectivity in Spatial Datalog. 116-133

Systems

Alexander Brodsky, Victor E. Segal: The C3 Constraint Object-Oriented Database System: An Overview. 134-159
Elisa Bertino, Barbara Catania, Stéphane Bressan: Integrity Constraint Checking in Chimera. 160-186
Hamidah Ibrahim, W. A. Gray, N. J. Fiddian: SICSDD: Techniques and Implementation. 187-207

Temporal Applications

Suad Alagic: A Temporal Constraint System for Object-Oriented Databases. 208-218
Anne Doucet, Marie-Christine Fauvet, Stéphane Gançarski, Geneviève Jomier, Sophie Monties: Using Database Versions to Implement Temporal Integrity Constraints. 219-233

New Applications

Peter Z. Revesz: Genomic Database Applications in DISCO. 234-245
David Toman: Constraint Databases and Program Analysis Using Abstract Interpretation. 246-262

Indexing

Alan P. Sexton: Querying Indexed Files. 263-281
Michael Freeston: On the Complexity of BV-tree Updates. 282-293
Stéphane Bressan, Alan P. Sexton, Mark Wallace: Implementing Index Data Structures Using Constraint Logic Programming. 294-301

Constraint Programming

Peter Z. Revesz: Problem Solving in the DISCO Constraint Database System. 302-315
Tatyana M. Yakhno, Slava Zilberfaine: Interval Domain Library for ECLiPSe and Its Application. 316-328

Optimization

Samir Nigam, Karen C. Davis: A Semantic Query Optimization Algorithm for Object-Oriented Databases. 329-344

Copyright © Fri Mar 12 17:07:30 2010 by Michael Ley (ley@uni-trier.de)