6. ICDT 1997: Delphi, Greece

• Title, Foreword, Table of Contents.
  

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

• Chandra Chekuri, Anand Rajaraman:
  Conjunctive Query Containment Revisited. 56-70
  
• 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
  
• Guozhu Dong, Leonid Libkin, Limsoon Wong:
  Local Properties of Query Languages. 140-154
  

Active Databases

• Philippe Picouet, Victor Vianu:
  Expressiveness and Complexity of Active Databases. 155-172
  
• Nicole Bidoit, Sofian Maabout:
  A Model Theoretic Approach to Update Rule Programs. 173-187
  
• 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
  
• Ronald Fagin, Edward L. Wimmers:
  Incorporating User Preferences in Multimedia Queries. 247-261
  
• Serge Abiteboul, Victor Vianu:
  Queries and Computation on the Web. 262-275
  

Logic and Databases II

• Paolo Liberatore:
  The Complexity of Iterated Belief Revision. 276-290
  
• Michael Benedikt, H. Jerome Keisler:
  Expressive Power of Unary Counters. 291-305
  

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
  
• Jean-Bernard Lagorce, Arunas Stockus, Emmanuel Waller:
  Object-Oriented Database Evolution. 379-393
  

Access Methods

• Apostolos Papadopoulos, Yannis Manolopoulos:
  Performance of Nearest Neighbor Queries in R-Trees. 394-408
  
• Khaled A. S. Abdel-Ghaffar, Amr El Abbadi:
  Optimal Allocation of Two-Dimensional Data. 409-418
  
• 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
  
• Latha S. Colby, Leonid Libkin:
  Tractable Iteration Mechanisms for Bag Languages. 461-475
  

• Author Index. 477