Integrity Checking in Deductive Databases

Summary: A theorem-proving approach to integrity checking in deductive databases, extending SLDNF with update-directed forward reasoning to examine only relevant facts and constraints. A logic-metalanguage formalization enables Prolog implementation, with near-Prolog efficiency when implicit deletions are absent. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: 7979
Venue: VLDB
Year: 1987
Pagerank: 7.7508942e-05
Overall Rank: 3,107 | 78.69%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Robert Kowalski (Imperial College of Science and Technology)
2. Fariba Sadri (Imperial College of Science and Technology)
3. Paul Soper (Imperial College of Science and Technology)

BibTeX Citation

@article{kowalski_vldb87,
        title = {{Integrity Checking in Deductive Databases}},
        author = {Kowalski, Robert and Sadri, Fariba and Soper, Paul},
        journal = {PVLDB},
        series = {{VLDB} '87},
        pages = {61},
        year = {1987}
}

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,442	Local Verification of Global Integrity Constraints in Distributed Databases	1993	SIGMOD	8.5767117e-05
2,676	Efficient Numerical Error Bounding for Replicated Network Services	2000	VLDB	8.2705376e-05
6,241	Integrity Constraints Checking In Deductive Databases	1991	VLDB	5.9425753e-05
7,477	On the design and implementation of information systems from deductive conceptual models	1989	VLDB	5.6084874e-05

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	33	Consistent Query Answers in Inconsistent Databases	1999	PODS
2	2,982	A Method for Change Computation in Deductive Databases	1992	VLDB
3	13,063	Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases	1993	VLDB
4	13,083	Implementing Deductive Databases by Linear Programming	1992	PODS
5	13,131	Declarative Expression of Deductive Database Updates	1989	PODS
6	5,984	Database Updates Through Abduction	1990	VLDB
7	14,419	Synthesizing Database Transactions	1990	VLDB
8	8,506	Checking Consistency of Database Constraints: a Logical Basis	1986	VLDB
9	12,984	Further Improvement on Integrity Constraint Checking for Stratifiable Deductive Databases	1996	VLDB
10	6,241	Integrity Constraints Checking In Deductive Databases	1991	VLDB