Answering queries on embedded-complete database schemes
- 1 April 1987
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 34 (2) , 349-375
- https://doi.org/10.1145/23005.23007
Abstract
It has been observed that, for some database schemes, users may have difficulties retrieving correct information, even for simple queries. The problem occurs when some implicit “piece” of information, defined on some subset of a relation scheme, is not explicitly represented in the database state. In this situation, users may be required to know how the state and the constraints interact before they can retrieve the information correctly.In this paper, the formal notion ofembedded-completenessis proposed, and it is shown that schemes with this property avoid the problem described above. A polynomial-time algorithm is given to test whether a database scheme is independent and embedded-complete. Under the assumption of independence, it is shown that embedded-complete schemes allow efficient computation of optimal relational algebra expressions equivalent to theX-total projection, for any set of attributesX.Keywords
This publication has 19 references indexed in Scilit:
- Notions of dependency satisfactionJournal of the ACM, 1986
- SYSTEM/U: a database system based on the universal relation assumptionACM Transactions on Database Systems, 1984
- On the foundations of the universal relation modelACM Transactions on Database Systems, 1984
- Database states and their tableauxACM Transactions on Database Systems, 1984
- Independent database schemasJournal of Computer and System Sciences, 1984
- A characterization of globally consistent databases and their correct access pathsACM Transactions on Database Systems, 1983
- A simplied universal relation assumption and its propertiesACM Transactions on Database Systems, 1982
- Testing satisfaction of functional dependenciesJournal of the ACM, 1982
- Equivalences Among Relational Expressions with the Union and Difference OperatorsJournal of the ACM, 1980
- Testing implications of data dependenciesACM Transactions on Database Systems, 1979