2. ADBT 1982: Toulouse, France

Database Schema Design: Cycles and Decomposition

Integrity Constraints

Incomplete Information

Abstract Data Types for Formal Specifications and Views

Query Language Theory