The implication problem for functional and inclusion dependencies
- 31 March 1983
- journal article
- Published by Elsevier in Information and Control
- Vol. 56 (3), 154-173
- https://doi.org/10.1016/s0019-9958(83)80002-3
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Algebraic dependenciesJournal of Computer and System Sciences, 1982
- The implication and finite implication problems for typed template dependenciesPublished by Association for Computing Machinery (ACM) ,1982
- Compatible attributes in a universal relationPublished by Association for Computing Machinery (ACM) ,1982
- A normal form for relational databases that is based on domains and keysACM Transactions on Database Systems, 1981
- Extending the database relational model to capture more meaningACM Transactions on Database Systems, 1979
- Computational problems related to the design of normal form relational schemasACM Transactions on Database Systems, 1979
- The entity-relationship model—toward a unified view of dataACM Transactions on Database Systems, 1976
- Recursive Unsolvability of a problem of ThueThe Journal of Symbolic Logic, 1947