6. ICDT 1997: Delphi, Greece
Foto N. Afrati, Phokion G. Kolaitis (Eds.): Database Theory - ICDT '97, 6th International Conference, Delphi, Greece, January 8-10, 1997, Proceedings. Springer 1997 Lecture Notes in Computer Science ISBN 3-540-62222-5
Invited Talks
Serge Abiteboul: Querying Semi-Structured Data. 1-18
Jeffrey D. Ullman: Information Integration Using Logical Views. 19-40
Invited Tutorial
Heikki Mannila: Methods and Problems in Data Mining. 41-55
Conjunctive Queries in Heterogeneous Databases

Gösta Grahne, Nicolas Spyratos, Daniel Stamate: Semantics and Containment with Internal and External Conjunctions. 71-82
Nam Huyn: Efficient Complete Local Tests for Conjunctive Query Constraints with Negation. 82-97
Himanshu Gupta: Selection of Views to Materialize in a Data Warehouse. 98-112
Logic and Databases I
Jörg Flum, Max Kubierschky, Bertram Ludäscher: Total and Partial Well-Founded Datalog Coincide. 113-124
Jerzy Tyszkiewicz: Fine Hierarchies of Generic Computation. 125-139
Active Databases


James Bailey, Lobel Crnogorac, Kotagiri Ramamohanarao, Harald Søndergaard: Abstract Interpretation of Active Rules and its Use in Termination Analysis. 188-202
James Bailey, Guozhu Dong, Kotagiri Ramamohanarao: Structural Issues in Active Rule Systems. 203-214
New Applications
Dimitrios Gunopulos, Heikki Mannila, Sanjeev Saluja: Discovering All Most Specific Sentences by Randomized Algorithms. 215-229
Dirk Wodtke, Gerhard Weikum: A Formal Foundation for Distributed Workflow Execution Based on State Charts. 230-246

Logic and Databases II
Paolo Liberatore: The Complexity of Iterated Belief Revision. 276-290
Concurrency Control
Akira Kawaguchi, Daniel F. Lieuwen, Inderpal Singh Mumick, Dallan Quass, Kenneth A. Ross: Concurrency Control Theory for Deferred Materialized Views. 306-320
Ugur Halici, Ismailcem Budak Arpinar, Asuman Dogac: Serializability of Nested Transactions in Multidatabases. 321-335
Unstructured Data
Peter Buneman, Susan B. Davidson, Mary F. Fernandez, Dan Suciu: Adding Structure to Unstructured Data. 336-350
Serge Abiteboul, Sophie Cluet, Tova Milo: Correspondence and Translation for Heterogeneous Data. 351-363
Object Oriented Databases
Yasunori Ishihara, Hiroyuki Seki, Minoru Ito: Type-Consistency Problems for Queries in Object-Oriented Databases. 364-378
Access Methods
Apostolos Papadopoulos, Yannis Manolopoulos: Performance of Nearest Neighbor Queries in R-Trees. 394-408
Sridhar Ramaswamy: Efficient Indexing for Constraint and Temporal Databases. 419-431
Spatial Data and Bulk Data
Bart Kuijpers, Jan Paredaens, Jan Van den Bussche: On Topological Elementary Equivalence of Spatial Databases. 432-446
Peter Z. Revesz: Model-Theoretic Minimal Chenge Operators for Constraint Databases. 447-460



