Proceedings of the 6th International Conference on Database Theory (ICDT), Delphi, Greece, 1997

Original publisher: Springer Verlag, LNCS - Lecture Notes in Computer Science, Volume: 1186, ISBN: 3-540-62222-5, Electronic Edition

Invited Talks

[DOI] Querying Semi-Structured Data.
Serge Abiteboul   pp. 1-18
[DOI] Information Integration Using Logical Views.
Jeffrey D. Ullman   pp. 19-40

Invited Tutorial

[DOI] Methods and Problems in Data Mining.
Heikki Mannila   pp. 41-55

Research Sessions

Conjunctive Queries in Heterogeneous Databases
[DOI] Conjunctive Query Containment Revisited.
Chandra Chekuri, Anand Rajaraman   pp. 56-70
[DOI] Semantics and Containment with Internal and External Conjunctions.
Gösta Grahne, Nicolas Spyratos, Daniel Stamate   pp. 71-82
Logic and Databases I
[DOI] Total and Partial Well-Founded Datalog Coincide.
Jörg Flum, Max Kubierschky, Bertram Ludäscher   pp. 113-124
[DOI] Fine Hierarchies of Generic Computation.
Jerzy Tyszkiewicz   pp. 125-139
[DOI] Local Properties of Query Languages.
Guozhu Dong, Leonid Libkin, Limsoon Wong   pp. 140-154
Active Databases
[DOI] Expressiveness and Complexity of Active Databases.
Philippe Picouet, Victor Vianu   pp. 155-172
[DOI] A Model Theoretic Approach to Update Rule Programs.
Nicole Bidoit, Sofian Maabout   pp. 173-187
[DOI] Abstract Interpretation of Active Rules and its Use in Termination Analysis.
James Bailey, Lobel Crnogorac, Kotagiri Ramamohanarao, Harald Søndergaard   pp. 188-202
[DOI] Structural Issues in Active Rule Systems.
James Bailey, Guozhu Dong, Kotagiri Ramamohanarao   pp. 203-214
New Applications
[DOI] Discovering All Most Specific Sentences by Randomized Algorithms.
Dimitrios Gunopulos, Heikki Mannila, Sanjeev Saluja   pp. 215-229
[DOI] Incorporating User Preferences in Multimedia Queries.
Ronald Fagin, Edward L. Wimmers   pp. 247-261
[DOI] Queries and Computation on the Web.
Serge Abiteboul, Victor Vianu   pp. 262-275
Logic and Databases II
[DOI] The Complexity of Iterated Belief Revision.
Paolo Liberatore   pp. 276-290
[DOI] Expressive Power of Unary Counters.
Michael Benedikt, H. Jerome Keisler   pp. 291-305
Concurrency Control
[DOI] Concurrency Control Theory for Deferred Materialized Views.
Akira Kawaguchi, Daniel F. Lieuwen, Inderpal Singh Mumick, Dallan Quass, Kenneth A. Ross   pp. 306-320
[DOI] Serializability of Nested Transactions in Multidatabases.
Ugur Halici, Ismailcem Budak Arpinar, Asuman Dogac   pp. 321-335
Unstructured Data
[DOI] Adding Structure to Unstructured Data.
Peter Buneman, Susan B. Davidson, Mary F. Fernandez, Dan Suciu   pp. 336-350
[DOI] Correspondence and Translation for Heterogeneous Data.
Serge Abiteboul, Sophie Cluet, Tova Milo   pp. 351-363
Object Oriented Databases
[DOI] Type-Consistency Problems for Queries in Object-Oriented Databases.
Yasunori Ishihara, Hiroyuki Seki, Minoru Ito   pp. 364-378
[DOI] Object-Oriented Database Evolution.
Jean-Bernard Lagorce, Arunas Stockus, Emmanuel Waller   pp. 379-393
Access Methods
[DOI] Performance of Nearest Neighbor Queries in R-Trees.
Apostolos Papadopoulos, Yannis Manolopoulos   pp. 394-408
[DOI] Optimal Allocation of Two-Dimensional Data.
Khaled A. S. Abdel-Ghaffar, Amr El Abbadi   pp. 409-418
Spatial Data and Bulk Data
[DOI] On Topological Elementary Equivalence of Spatial Databases.
Bart Kuijpers, Jan Paredaens, Jan Van den Bussche   pp. 432-446
[DOI] Tractable Iteration Mechanisms for Bag Languages.
Latha S. Colby, Leonid Libkin   pp. 461-475


Invited Tutorial
[DOI] Methods and Problems in Data Mining.
Heikki Mannila   pp. 41-55