DEDUCE 2: Further Investigations of Deduction in Relational Data Bases
- 1 January 1978
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Deductive Planning and Pathfinding for Relational Data BasesPublished by Springer Nature ,1978
- An Experimental Relational Data Base System Based on LogicPublished by Springer Nature ,1978
- Negation as FailurePublished by Springer Nature ,1978
- Synthesizing third normal form relations from functional dependenciesACM Transactions on Database Systems, 1976
- System RACM Transactions on Database Systems, 1976
- Specifying queries as relational expressionsCommunications of the ACM, 1975
- A Proof Procedure Using Connection GraphsJournal of the ACM, 1975
- Performing inferences over relation data basesPublished by Association for Computing Machinery (ACM) ,1975
- Fuzzy Logic and the Resolution PrincipleJournal of the ACM, 1972
- A relational model of data for large shared data banksCommunications of the ACM, 1970