Efficient consistency control in deductive databases
- 1 January 1983
- book chapter
- Published by Springer Nature
- p. 118-128
- https://doi.org/10.1007/3-540-50171-1_7
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A basis for deductive database systemsThe Journal of Logic Programming, 1985
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- On Closed World Data BasesPublished by Springer Nature ,1978
- A Proof Procedure Using Connection GraphsJournal of the ACM, 1975