2. ICDT 1988: Bruges, Belgium

Marc Gyssens, Jan Paredaens, Dirk Van Gucht (Eds.): ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31 - September 2, 1988, Proceedings. Lecture Notes in Computer Science 326 Springer 1988, ISBN 3-540-50171-1

Invited Lectures

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

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

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

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

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

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

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