2. ICDT 1988: Bruges, Belgium

@proceedings{DBLP:conf/icdt/88,
  editor    = {Marc Gyssens and
               Jan Paredaens and
               Dirk Van Gucht},
  title     = {ICDT'88, 2nd International Conference on Database Theory, Bruges,
               Belgium, August 31 - September 2, 1988, Proceedings},
  booktitle = {ICDT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {326},
  year      = {1988},
  isbn      = {3-540-50171-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

Invited Lectures

• Serge Abiteboul:
  Updates, A New Frontier. 1-18
  Electronic Edition BibTeX
• Catriel Beeri:
  Data Models and Languages for Databases. 19-40
  Electronic Edition BibTeX
• Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan Fekete:
  A Theory of Atomic Transactions. 41-71
  Electronic Edition BibTeX

Logic and Deductive Databases

• Patrizia Asirelli, Paola Inverardi, A. Mustaro:
  Improving Integrity Constraint Checking in Deductive Databases. 72-86
  Electronic Edition BibTeX
• Guozhu Dong:
  On the Composition and Decomposition of Datalog Program Mappings. 87-101
  Electronic Edition BibTeX
• Michael Kifer, Ai Li:
  On the Semantics of Rule-Based Expert Systems with Uncertainty. 102-117
  Electronic Edition BibTeX
• Guido Moerkotte, Stefan Karl:
  Efficient Consistency Control in Deductive Databases. 118-128
  Electronic Edition BibTeX
• Peter T. Wood, Alberto O. Mendelzon, Paolo Atzeni:
  Idempotent Single-Predicate Horn Clauses. 129-143
  Electronic Edition BibTeX

Complexity and Optimization

• Anthony J. Bonner:
  Hypothetical Datalog: Complexity and Expressiblity. 144-160
  Electronic Edition BibTeX
• Robert P. Cheetham, B. John Oommen, David T. H. Ng:
  On Using Conditional Rotation Operations to Adaptively Structure Binary Search Trees. 161-175
  Electronic Edition BibTeX
• Pratul Dublish, S. N. Maheshwari:
  On O(N²) Equivalence Algorithm for Fan-Out Free Queries. 176-190
  Electronic Edition BibTeX
• Fang Li, Lawrence V. Saxton:
  Two-Way Join Optimization in Partitioned Database Systems. 191-204
  Electronic Edition BibTeX
• Eric Simon, Christophe de Maindreville:
  Deciding Whether a Production Rule is Relational Computable. 205-222
  Electronic Edition BibTeX

Object Oriented Databases

• Christophe Lécluse, Philippe Richard:
  Modeling Inheritance and Genericity in Object Oriented-Databases. 223-238
  Electronic Edition BibTeX
• Atsushi Ohori:
  Semantics of Types for Database Objects. 239-251
  Electronic Edition BibTeX
• Katsumi Tanaka, Masatoshi Yoshikawa:
  Towards Abstracting Complex Database Objects: Generalization, Reduction and Unification of Set-type Objects (Extended Abstract). 252-266
  Electronic Edition BibTeX

Data Models and Query Languages

• Gabriel M. Kuper, Moshe Y. Vardi:
  On the Complexity of Queries in the Logical Data Model (Extended Abstract). 267-280
  Electronic Edition BibTeX
• Liz Sonenberg, Rodney W. Topor:
  On Domain Independent Disjunctive Databases. 281-291
  Electronic Edition BibTeX

Dynamic Aspects of Databases

• M. E. Iofinova, E. A. Komissartschik:
  Update in Hierarchical Data Bases. 292-306
  Electronic Edition BibTeX
• Dino Karabeg, Victor Vianu:
  Parallel Update Transactions (Extended Abstract). 307-321
  Electronic Edition BibTeX
• Udo W. Lipeck:
  Transformation of Dynamic Integrity Constraints into Transaction Specifications. 322-337
  Electronic Edition BibTeX
• Anthony Tomasic:
  View Update Translation via Deduction and Annotation. 338-352
  Electronic Edition BibTeX
• Victor Vianu, Gottfried Vossen:
  Conceptual Level Concurrency Control of Relational Update Transactions. 353-367
  Electronic Edition BibTeX
• K. Vidyasankar, Christopher N. G. Dampney:
  Version Consistency and Serializability in Design Databases. 368-382
  Electronic Edition BibTeX

Miscellaneous Topics

• Seymour Ginsburg, Stephen Kurtzman:
  Object-History and Spreadsheet P-Simulation. 383-395
  Electronic Edition BibTeX
• Jehan-François Pâris:
  Efficient Management of Replicated Data. 396-409
  Electronic Edition BibTeX