A formal approach to the definition and the design of conceptual schemata for databased systems
- 1 March 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 7 (1) , 24-59
- https://doi.org/10.1145/319682.319695
Abstract
A formal approach is proposed to the definition and the design of conceptual database diagrams to be used as conceptual schemata in a system featuring a multilevel schema architecture, and as an aid for the design of other forms of schemata. We consider E-R (entity-relationship) diagrams, and we introduce a new representation called CAZ -graphs. A rigorous connection is established between these diagrams and some formal constraints used to describe relationships in the framework of the relational data model. These include functional and multivalued dependencies of database relations. The basis for our schemata is a combined representation for two fundamental structures underlying every relation: the first defined by its minimal atomic decompositions, the second by its elementary functional dependencies. The interaction between these two structures is explored, and we show that, jointly, they can represent a wide spectrum of database relationships, of which the well-known one-to-one, one-to-many, and many-to-many associations constitute only a small subset. It is suggested that a main objective in conceptual schema design is to ensure a complete representation of these two structures. A procedure is presented to design schemata which obtain this objective while eliminating redundancy. A simple correspondence between the topological properties of these schemata and the structure of multivalued dependencies of the original relation is established. Various applications are discussed and a number of illustrative examples are given.Keywords
This publication has 12 references indexed in Scilit:
- On the design of relational database schemataACM Transactions on Database Systems, 1981
- On the menbership problem for functional and multivalued dependencies in relational databasesACM Transactions on Database Systems, 1980
- Computational problems related to the design of normal form relational schemasACM Transactions on Database Systems, 1979
- The ANSI/X3/SPARC DBMS framework report of the study group on database management systemsInformation Systems, 1978
- Independent components of relationsACM Transactions on Database Systems, 1977
- Multivalued dependencies and a new normal form for relational databasesACM Transactions on Database Systems, 1977
- Database abstractionsCommunications of the ACM, 1977
- A complete axiomatization for functional and multivalued dependencies in database relationsPublished by Association for Computing Machinery (ACM) ,1977
- Synthesizing third normal form relations from functional dependenciesACM Transactions on Database Systems, 1976
- The entity-relationship model—toward a unified view of dataACM Transactions on Database Systems, 1976