Integrity constraint checking in deductive databases using the Prolog not-predicate
- 1 June 1987
- journal article
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 2 (2) , 145-168
- https://doi.org/10.1016/0169-023x(87)90019-x
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Integrity constraints in logic databasesThe Journal of Logic Programming, 1985
- Validating database updatesInformation Systems, 1984
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Logic for improving integrity checking in relational data bases?Acta Informatica, 1982
- The entity-relationship model—toward a unified view of dataACM Transactions on Database Systems, 1976