On interpretations of relational languages and solutions to the implied constraint problem
- 1 June 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 7 (2), 291-315
- https://doi.org/10.1145/319702.319730
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- On Database LogicJournal of the ACM, 1982
- Calculating constraints on relational expressionACM Transactions on Database Systems, 1980
- Testing implications of data dependenciesACM Transactions on Database Systems, 1979
- First order logic formalization for functional, multivalued and mutual dependenciesPublished by Association for Computing Machinery (ACM) ,1978
- Multivalued dependencies and a new normal form for relational databasesACM Transactions on Database Systems, 1977
- Some high level language constructs for data of type relationACM Transactions on Database Systems, 1977
- SEQUELPublished by Association for Computing Machinery (ACM) ,1976
- Implementation of integrity constraints and views by query modificationPublished by Association for Computing Machinery (ACM) ,1975