Integrity Constraints Checking In Deductive Databases

Summary: Proposes integrity checking in deductive databases by augmenting the DB with transition and internal rules that encode update effects. Uses standard SLDNF resolution to verify constraints; supports static and dynamic constraints in a uniform Prolog implementation. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: hf7dc15d263987dd4
Venue: VLDB
Year: 1991
Pagerank: 5.8092399e-05
Overall Rank: 6,371 | 57.17%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Antoni Olivé (Polytechnic University of Catalonia)

BibTeX Citation

@article{olive_vldb91,
        title = {{Integrity Constraints Checking In Deductive Databases}},
        author = {Olivé, Antoni},
        journal = {PVLDB},
        series = {{VLDB} '91},
        pages = {513},
        year = {1991}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,988	A Method for Change Computation in Deductive Databases	1992	VLDB	7.7771712e-05
13,353	Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases	1993	VLDB	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 4 of 4 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
67	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD	0.00038009523
87	Implementation of Integrity Constraints and Views by Query Modification	1975	SIGMOD	0.00035719146
3,162	Integrity Checking in Deductive Databases	1987	VLDB	7.5795566e-05
7,620	On the design and implementation of information systems from deductive conceptual models	1989	VLDB	5.4826481e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	14,730	Synthesizing Database Transactions	1990	VLDB
2	33	Consistent Query Answers in Inconsistent Databases	1999	PODS
3	4,179	Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints	1987	PODS
4	2,640	Knowledge-based Integrity Constraint Validation	1986	VLDB
5	13,353	Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases	1993	VLDB
6	1,372	Deriving Production Rules for Constraint Maintenance	1990	VLDB
7	8,674	Checking Consistency of Database Constraints: a Logical Basis	1986	VLDB
8	2,988	A Method for Change Computation in Deductive Databases	1992	VLDB
9	13,274	Further Improvement on Integrity Constraint Checking for Stratifiable Deductive Databases	1996	VLDB
10	3,162	Integrity Checking in Deductive Databases	1987	VLDB