Abstract is missing.
- Towards Designing Acyclic Database SchemesJoachim Biskup, Hans Hermann Brüggemann. 3-25
- Minimal Coverings of Acyclic Database SchemataGiorgio Ausiello, Alessandro D Atri, Marina Moscarini. 27-51
- A Decomposition Methodology for Cyclic DatabasesMarc Gyssens, Jan Paredaens. 85-122
- Horizontal Decompositions for Handling Exceptions to Functional DependenciesPaul De Bra, Jan Paredaens. 123-141
- Compiling Constraint-Checking Programs from First-Order FormulasLawrence J. Henschen, William McCune, Shamim A. Naqvi. 145-169
- Applications of Finite Differencing to Database Integrity Control and Query/Transaction OptimizationRobert Paige. 171-209
- On the Description of Database Transition Constraints Using Temporal LanguagesMarco A. Casanova, Antonio L. Furtado. 211-236
- Nonmonotonic Reasoning and DatabasesGenevieve Bossu, Pierre Siegel. 239-284
- Stepwise Construction of Algebraic SpecificationsPaulo A. S. Veloso, Antonio L. Furtado. 321-352
- Properties of Views and Their ImplementationPaolo Paolini, Roberto Zicari. 353-389