Improving integrity constraint checking in deductive databases

Publisher Website

1 January 1983

book chapter
Published by Springer Nature in Lecture Notes in Computer Science

p. 72-86
https://doi.org/10.1007/3-540-50171-1_4

Abstract

No abstract available

This publication has 7 references indexed in Scilit:

Integrity constraint checking in stratified databases
The Journal of Logic Programming, 1987
Foundations of Logic Programming
Published by Springer Nature ,1987
A basis for deductive database systems II
The Journal of Logic Programming, 1986
Integrity constraints in logic databases
The Journal of Logic Programming, 1985
A basis for deductive database systems
The Journal of Logic Programming, 1985
Foundations of Logic Programming
Published by Springer Nature ,1984
Logic for improving integrity checking in relational data bases?
Acta Informatica, 1982