Integrity constraint checking in stratified databases

https://doi.org/10.1016/0743-1066(87)90009-4Get rights and content
Under an Elsevier user license
open archive

Abstract

We prove the correctness of a simplification method for checking static integrity constraints in stratified deductive databases.

Cited by (0)