Abstract is missing.
- Title, Preface, Table of Contents [doi]
- Updates, A New FrontierSerge Abiteboul. 1-18 [doi]
- Data Models and Languages for DatabasesCatriel Beeri. 19-40 [doi]
- A Theory of Atomic TransactionsNancy A. Lynch, Michael Merritt, William E. Weihl, Alan Fekete. 41-71 [doi]
- Improving Integrity Constraint Checking in Deductive DatabasesPatrizia Asirelli, Paola Inverardi, A. Mustaro. 72-86 [doi]
- On the Composition and Decomposition of Datalog Program MappingsGuozhu Dong. 87-101 [doi]
- On the Semantics of Rule-Based Expert Systems with UncertaintyMichael Kifer, Ai Li. 102-117 [doi]
- Efficient Consistency Control in Deductive DatabasesGuido Moerkotte, Stefan Karl. 118-128 [doi]
- Idempotent Single-Predicate Horn ClausesPeter T. Wood, Alberto O. Mendelzon, Paolo Atzeni. 129-143 [doi]
- Hypothetical Datalog: Complexity and ExpressiblityAnthony J. Bonner. 144-160 [doi]
- On Using Conditional Rotation Operations to Adaptively Structure Binary Search TreesRobert P. Cheetham, B. John Oommen, David T. H. Ng. 161-175 [doi]
- On O(N²) Equivalence Algorithm for Fan-Out Free QueriesPratul Dublish, S. N. Maheshwari. 176-190 [doi]
- Two-Way Join Optimization in Partitioned Database SystemsFang Li, Lawrence V. Saxton. 191-204 [doi]
- Deciding Whether a Production Rule is Relational ComputableEric Simon, Christophe de Maindreville. 205-222 [doi]
- Modeling Inheritance and Genericity in Object Oriented-DatabasesChristophe Lécluse, Philippe Richard. 223-238 [doi]
- Semantics of Types for Database ObjectsAtsushi Ohori. 239-251 [doi]
- Towards Abstracting Complex Database Objects: Generalization, Reduction and Unification of Set-type Objects (Extended Abstract)Katsumi Tanaka, Masatoshi Yoshikawa. 252-266 [doi]
- On the Complexity of Queries in the Logical Data Model (Extended Abstract)Gabriel M. Kuper, Moshe Y. Vardi. 267-280 [doi]
- On Domain Independent Disjunctive DatabasesLiz Sonenberg, Rodney W. Topor. 281-291 [doi]
- Update in Hierarchical Data BasesM. E. Iofinova, E. A. Komissartschik. 292-306 [doi]
- Parallel Update Transactions (Extended Abstract)Dino Karabeg, Victor Vianu. 307-321 [doi]
- Transformation of Dynamic Integrity Constraints into Transaction SpecificationsUdo W. Lipeck. 322-337 [doi]
- View Update Translation via Deduction and AnnotationAnthony Tomasic. 338-352 [doi]
- Conceptual Level Concurrency Control of Relational Update TransactionsVictor Vianu, Gottfried Vossen. 353-367 [doi]
- Version Consistency and Serializability in Design DatabasesK. Vidyasankar, Christopher N. G. Dampney. 368-382 [doi]
- Object-History and Spreadsheet P-SimulationSeymour Ginsburg, Stephen Kurtzman. 383-395 [doi]
- Efficient Management of Replicated DataJehan-François Pâris. 396-409 [doi]