default search action
2nd ADBT 1982: Toulouse, France
- Hervé Gallaire, Jean-Marie Nicolas, Jack Minker:
Advances in Data Base Theory, Vol. 2, Based on the Proceedings of the Workshop on Logical Data Bases, December 14-17, 1982, Centre d'études et de recherches de Toulouse, France. Advances in Data Base Theory, Plemum Press 1984, ISBN 0-306-41636-0
Database Schema Design: Cycles and Decomposition
- Joachim Biskup, Hans Hermann Brüggemann:
Towards Designing Acyclic Database Schemes. Advances in Data Base Theory 1982: 3-25 - Giorgio Ausiello, Alessandro D'Atri, Marina Moscarini:
Minimal Coverings of Acyclic Database Schemata. Advances in Data Base Theory 1982: 27-51 - Yoshito Hanatani:
Eliminating Cycles in Database Schemas. Advances in Data Base Theory 1982: 53-84 - Marc Gyssens, Jan Paredaens:
A Decomposition Methodology for Cyclic Databases. Advances in Data Base Theory 1982: 85-122 - Paul De Bra, Jan Paredaens:
Horizontal Decompositions for Handling Exceptions to Functional Dependencies. Advances in Data Base Theory 1982: 123-141
Integrity Constraints
- Lawrence J. Henschen, William McCune, Shamim A. Naqvi:
Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory 1982: 145-169 - Robert Paige:
Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimization. Advances in Data Base Theory 1982: 171-209 - Marco A. Casanova, António L. Furtado:
On the Description of Database Transition Constraints Using Temporal Languages. Advances in Data Base Theory 1982: 211-236
Incomplete Information
- Genevieve Bossu, Pierre Siegel:
Nonmonotonic Reasoning and Databases. Advances in Data Base Theory 1982: 239-284 - Tomasz Imielinski:
On Algebraic Query Processing in Logical Databases. Advances in Data Base Theory 1982: 285-318
Abstract Data Types for Formal Specifications and Views
- Paulo A. S. Veloso, António L. Furtado:
Stepwise Construction of Algebraic Specifications. Advances in Data Base Theory 1982: 321-352 - Paolo Paolini, Roberto V. Zicari:
Properties of Views and Their Implementation. Advances in Data Base Theory 1982: 353-389
Query Language Theory
- Tomasz Imielinski, Witold Lipski Jr.:
On th Undecidability of Equivalence Problems for Relational Expressions. Advances in Data Base Theory 1982: 393-409
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.