A path finding method for constraint checking in deductive databases
- 30 September 1989
- journal article
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 4 (3) , 223-244
- https://doi.org/10.1016/0169-023x(89)90021-9
Abstract
No abstract availableFunding Information
- Ministry of Education, India
- Science and Engineering Research Council
This publication has 5 references indexed in Scilit:
- Integrity constraint checking in deductive databases using the Prolog not-predicateData & Knowledge Engineering, 1987
- A basis for deductive database systemsThe Journal of Logic Programming, 1985
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- Logic for improving integrity checking in relational data bases?Acta Informatica, 1982