A Pragmatic Approach to Structured Database Design

[1]  Umeshwar Dayal,et al.  On the correct translation of update operations on relational views , 1982, TODS.

[2]  Hartmut Ehrig,et al.  Algebraic Specification Schemes for Data Base Systems , 1978, VLDB.

[3]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[4]  Erich J. Neuhold,et al.  Towards multi-level and modular conceptual schema specifications , 1984, Inf. Syst..

[5]  Shamkant B. Navathe,et al.  A Methodology for View Inegration in Logical Database Design , 1982, VLDB.

[6]  Walter Dosch,et al.  On the Algebraic Specification of Databases , 1982, VLDB.

[7]  Marco A. Casanova,et al.  A Formal System for Reasoning about Programs Accessing a Relational Database , 1980, ACM Trans. Program. Lang. Syst..

[8]  Marco A. Casanova,et al.  Towards a sound view integration methodology , 1983, PODS.

[9]  Ramez Elmasri,et al.  A structural model for database systems , 1979 .

[10]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

[11]  Antonio L. Furtado,et al.  Permitting updates through views of data bases , 1979, Inf. Syst..

[12]  Toby J. Teorey,et al.  Design of Database Structures , 1982 .

[13]  Stephen N. Zilles.  Types, algebras and modeling , 1981, SIGMOD 1981.

[14]  Erich J. Neuhold,et al.  A Data Type Approach to the Entity-Relationship Approach , 1979, ER.

[15]  Marco A. Casanova,et al.  The logic of a relational data manipulation language , 1979, POPL '79.

[16]  Diane C. P. Smith,et al.  Database abstractions: aggregation and generalization , 1977, TODS.

[17]  Heinrich C. Mayr,et al.  Data abstractions for database systems , 1979, TODS.

[18]  S. B. Yao,et al.  View Modeling and Integration Using the Functional Data Model , 1982, IEEE Transactions on Software Engineering.

[19]  Antonio L. Furtado,et al.  Properties of Conceptual and External Database Schemas , 1982, Formal Description of Programming Concepts.