5. ICDT 1995: Prague, Czech Republic

• Title, Foreword, Table of Contents.
  

Invited Papers

• Tomasz Imielinski:
  Data on Air - What's in it for the Database Theorist. 1-13
  
• Jan Paredaens:
  Spatial Databases, The Final Frontier. 14-32
  

Tutorials

• Gerhard Weikum:
  Tutorial on Parallel Database Systems. 33-37
  
• Phokion G. Kolaitis:
  Languages for Polynomial-Time Queries - An Ongoing Quest. 38-39
  

Optimization

• Silvio Salza, Giovanni Barone, Tadeusz Morzy:
  Distributed Query Optimization in Loosly Coupled Multidatabase Systems. 40-53
  
• Sophie Cluet, Guido Moerkotte:
  On the Complexity of Generating Optimal Left-Deep Processing Trees with Cross Products. 54-67
  

Nonmonotonic Semantics I

• Piero A. Bonatti, Thomas Eiter:
  Querying Disjunctive Database Through Nonmonotonic Logics. 68-81
  
• Sergio Greco, Domenico Saccà, Carlo Zaniolo:
  DATALOG Queries with Stratified Negation and Choice: from P to D^P. 82-96
  

Query Languages I

• Jerzy Tyszkiewicz:
  On the Kolmogorov Expressive Power of Boolean Query Languages. 97-110
  
• Dan Suciu, Limsoon Wong:
  On Two Forms of Structural Recursion. 111-124
  
• Vladimir Yu. Sazonov, Alexei Lisitsa:
  Delta-Languages for Sets and sub-PTIME Graphs Transformers. 125-138
  

Concurrency Control

• Eljas Soisalon-Soininen, Tatu Ylönen:
  Partial Strictness in Two-Phase Locking. 139-147
  
• Radek Vingralek, Haiyan Ye, Yuri Breitbart, Hans-Jörg Schek:
  Unified Transaction Model for Semantically Rich Operations. 148-161
  
• Yoav Raz:
  The Dynamic Two Phase Commitment (D2PC) Protocol. 162-176
  

Query Languages II

• Dan Suciu:
  Domain-Independent Queries on Databases with External Functions. 177-190
  
• Stéphane Grumbach, Tova Milo:
  An Algebra for Pomsets. 191-207
  
• Luca Cabibbo:
  On the Power of Stratified Logic Programs with Value Invention for Expressing Database Transformations. 208-221
  

Advanced Models

• Michele Bugliesi, Hasan M. Jamil:
  A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. 222-237
  
• Danilo Montesi, Riccardo Torlone:
  A Rewriting Technique for the Analysis and the Optimization of Active Databases. 238-251
  
• Weidong Chen, Michael Kifer:
  Sorted HiLog: Sorts in Higher-Order Logic Data Languages. 252-265
  

Probabilistic Methods

• János Demetrovics, Gyula O. H. Katona, Dezsö Miklós, Oleg Seleznjev, Bernhard Thalheim:
  The Average Length of Keys and Functional Dependencies in (Random) Databases. 266-279
  
• César A. Galindo-Legaria, Arjan Pellenkoft, Martin L. Kersten:
  Uniformly-Distributed Random Generation of Join Orders. 280-293
  
• Sérgio Lifschitz, Victor Vianu:
  A Probabilistic View of Datalog Parallelization. 294-307
  

Constraints and Dependencies

• Nicole Bidoit, Sandra de Amo:
  A First Step Towards Implementing Dynamic Algebraic Dependencies. 308-321
  
• Marianne Baudinet, Jan Chomicki, Pierre Wolper:
  Constraint-Generating Dependencies. 322-337
  
• Venky Harinarayan, Ashish Gupta:
  Optimization Using Tuple Subsumption. 338-352
  

Nonmonotonic Semantics II

• Domenico Saccà:
  Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queries. 353-367
  
• V. Wiktor Marek, Miroslaw Truszczynski:
  Revision Programming, Database Updates and Integrity Constraints. 368-382
  

Datalog Analysis

• Ke Wang:
  Some Positive Results for Boundedness of Multiple Recursive Rules. 383-396
  
• Guozhu Dong, Jianwen Su:
  Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries. 397-410
  

Query Languages III

• Leonid Libkin:
  Approximation in Databases. 411-424
  
• Peter Z. Revesz:
  Datalog Queries of Set Constraint Databases. 425-438
  
• Serge Abiteboul, Gerd G. Hillebrand:
  Space Usage in Functional Query Languages. 439-454