Advances in Data Base Theory
1982
- Nonmonotonic Reasoning and Databasesby: Genevieve Bossu, Pierre Siegel
- Properties of Views and Their Implementationby: Paolo Paolini, Roberto Zicari
- Stepwise Construction of Algebraic Specificationsby: Paulo A. S. Veloso, Antonio L. Furtado
- On th Undecidability of Equivalence Problems for Relational Expressionsby: Tomasz Imielinski, Witold Lipski Jr.
- Eliminating Cycles in Database Schemasby: Yoshito Hanatani
- Towards Designing Acyclic Database Schemesby: Joachim Biskup, Hans Hermann Brüggemann
- A Decomposition Methodology for Cyclic Databasesby: Marc Gyssens, Jan Paredaens
- Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimizationby: Robert Paige
- Horizontal Decompositions for Handling Exceptions to Functional Dependenciesby: Paul De Bra, Jan Paredaens
- On Algebraic Query Processing in Logical Databasesby: Tomasz Imielinski
- Minimal Coverings of Acyclic Database Schemataby: Giorgio Ausiello, Alessandro D'Atri, Marina Moscarini
- Compiling Constraint-Checking Programs from First-Order Formulasby: Lawrence J. Henschen, William McCune, Shamim A. Naqvi
- On the Description of Database Transition Constraints Using Temporal Languagesby: Marco A. Casanova, Antonio L. Furtado
![[SWISH++]](/docis/swish-powered.gif){kind=small}
