Advances in Data Base Theory

Database Schema design: Cycles and Decomposition. - Towards Designing Acyclic Database Schemes. - Minimal Coverings of Acyclic Database Schemata. - Eliminating Cycles in Database Schemas. - A Decomposition Method for Cyclic Databases. - Horizontal Decomposition for Handling Exceptions to Functional Dependencies. - Integrity Constraints. - Compiling Constraint-Checking Programs from First-Order Formulas. - Applications of Finite Differencing to Database Integrity Control and Query/Transaction-Optimization. - A Family of Temporal Languages for the Description of Transition Constraints. - Incomplete Information. - Nonmonotonic Reasoning and Databases. - On Algebraic Query Processing in Logical Databases. - Abstract data types for Formal Specifications and Views. - Stepwise Construction of Algebraic Specifications. - Properties of Views and Their Implementation. - Query Language Theory. - On the Undecidability of Equivalence Problems for Relational Expressions. - Name Index. - List of Referees. - Addresses of Contributing Authors. Language: English