Maximal objects and the semantics of universal relation databases
- 1 March 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 8 (1) , 1-14
- https://doi.org/10.1145/319830.319831
Abstract
The universal relation concept is intended to provide the database user with a simplified model in which he can compose queries without regard to the underlying structure of the relations in the database. Frequently, the lossless join criterion provides the query interpreter with the clue needed to interpret the query as the user intended. However, some examples exist where interpretation by the lossless-join rule runs contrary to our intuition. To handle some of these cases, we propose a concept called maximal objects , which modifies the universal relation concept in exactly those situations where it appears to go awry—when the underlying relational structure has “cycles.” We offer examples of how the maximal object concept provides intuitively correct interpretations. We also consider how one might construct maximal objects mechanically from purely syntactic structural information—the relation schemes and functional dependencies—about the database.Keywords
This publication has 11 references indexed in Scilit:
- Connections in acyclic hypergraphsPublished by Association for Computing Machinery (ACM) ,1982
- Assumptions in relational database theoryPublished by Association for Computing Machinery (ACM) ,1982
- Consequences of assuming a universal relationACM Transactions on Database Systems, 1981
- On the Complexity of Testing Implications of Functional and Join DependenciesJournal of the ACM, 1981
- 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
- The design and implementation of INGRESACM Transactions on Database Systems, 1976