A new method for integrity constraint checking in deductive databases
- 31 March 1995
- journal article
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 15 (1) , 63-102
- https://doi.org/10.1016/0169-023x(94)00032-a
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Reactive consistency control in deductive databasesACM Transactions on Database Systems, 1991
- Updating knowledge bases IINew Generation Computing, 1991
- Updating knowledge basesNew Generation Computing, 1990
- A path finding method for constraint checking in deductive databasesData & Knowledge Engineering, 1989
- LDL-a technology for the realization of tightly coupled expert database systemsIEEE Expert, 1988
- Integrity constraint checking in stratified databasesThe Journal of Logic Programming, 1987
- Integrity constraint checking in deductive databases using the Prolog not-predicateData & Knowledge Engineering, 1987
- A basis for deductive database systems IIThe Journal of Logic Programming, 1986
- Integrity constraints in logic databasesThe Journal of Logic Programming, 1985
- A basis for deductive database systemsThe Journal of Logic Programming, 1985