5. ICDT 1995: Prague, Czech Republic

@proceedings{DBLP:conf/icdt/95,
  editor    = {Georg Gottlob and
               Moshe Y. Vardi},
  title     = {Database Theory - ICDT'95, 5th International Conference, Prague,
               Czech Republic, January 11-13, 1995, Proceedings},
  booktitle = {ICDT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {893},
  year      = {1995},
  isbn      = {3-540-58907-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Title, Foreword, Table of Contents.
  Electronic Edition BibTeX

Invited Papers

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

Tutorials

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

Optimization

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

Nonmonotonic Semantics I

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

Query Languages I

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

Concurrency Control

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

Query Languages II

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

Advanced Models

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

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
  Electronic Edition BibTeX
• César A. Galindo-Legaria, Arjan Pellenkoft, Martin L. Kersten:
  Uniformly-Distributed Random Generation of Join Orders. 280-293
  Electronic Edition BibTeX
• Sérgio Lifschitz, Victor Vianu:
  A Probabilistic View of Datalog Parallelization. 294-307
  Electronic Edition BibTeX

Constraints and Dependencies

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

Nonmonotonic Semantics II

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

Datalog Analysis

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

Query Languages III

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