A characterization of globally consistent databases and their correct access paths
Open Access
- 1 June 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 8 (2) , 266-286
- https://doi.org/10.1145/319983.319988
Abstract
The representative instance is proposed as a representation of the data stored in a database whose relations are not the projections of a universal instance. Database schemes are characterized for which local consistency implies global consistency. (Local consistency means that each relation satisfies its own functional dependencies; global consistency means that the representative instance satisfies all the functional dependencies.) A method of efficiently computing projections of the representative instance is given, provided that local consistency implies global consistency. Throughout, it is assumed that a cover of the functional dependencies is embodied in the database scheme in the form of keys.Keywords
This publication has 16 references indexed in Scilit:
- A simplied universal relation assumption and its propertiesACM Transactions on Database Systems, 1982
- Testing satisfaction of functional dependenciesJournal of the ACM, 1982
- Testing the universal instance assumptionInformation Processing Letters, 1980
- Extending the database relational model to capture more meaningACM Transactions on Database Systems, 1979
- Testing implications of data dependenciesACM Transactions on Database Systems, 1979
- Efficient optimization of a class of relational expressionsACM Transactions on Database Systems, 1979
- The theory of joins in relational databasesACM Transactions on Database Systems, 1979
- Computational problems related to the design of normal form relational schemasACM Transactions on Database Systems, 1979
- Synthesizing third normal form relations from functional dependenciesACM Transactions on Database Systems, 1976
- A relational model of data for large shared data banksCommunications of the ACM, 1970