ON DEDUCTIVE RELATIONAL DATABASES?
- 1 July 1983
- journal article
- Published by Wiley in Annals of the New York Academy of Sciences
- Vol. 410 (1 Fifth In) , 181-200
- https://doi.org/10.1111/j.1749-6632.1983.tb23315.x
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- On Database LogicJournal of the ACM, 1982
- Extending the database relational model to capture more meaningACM Transactions on Database Systems, 1979
- On semantic issues connected with incomplete information databasesACM Transactions on Database Systems, 1979
- Normalization and hierarchical dependencies in the relational data modelACM Transactions on Database Systems, 1978
- Null values in a relational data baseInformation Processing Letters, 1977
- Multivalued dependencies and a new normal form for relational databasesACM Transactions on Database Systems, 1977
- Consistency auditing of databasesThe Computer Journal, 1974
- Two Results on Ordering for Resolution with Merging and Linear FormatJournal of the ACM, 1971
- The Unit Proof and the Input Proof in Theorem ProvingJournal of the ACM, 1970
- A linear format for resolutionPublished by Springer Nature ,1970