A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 488-505
- https://doi.org/10.1007/3-540-19074-0_69
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- Integrity constraint checking in deductive databases using the Prolog not-predicateData & Knowledge Engineering, 1987
- A Hyperresolution-based Proof Procedure and Its Implementation in PrologPublished by Springer Nature ,1987
- On the evaluation strategy of EDUCEPublished by Association for Computing Machinery (ACM) ,1986
- Logic for improving integrity checking in relational data bases?Acta Informatica, 1982
- First-Order LogicPublished by Springer Nature ,1968