Integrity Constraint Reformulation for Efficient Validation

Summary: Constraint reformulation via antecedent derivation in a reformulation framework; search over equivalent constraints. Control strategies and meta rules prune the search, yielding a knowledge-based framework for efficient stateful integrity validation. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 8015
Venue: VLDB
Year: 1987
Pagerank: 5.9624769e-05
Overall Rank: 6,142 | 57.87%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Xiaolei Qian (Kestrel Institute; Stanford University)
2. Douglas R. Smith (Kestrel Institute)

BibTeX Citation

@article{qian_vldb87,
        title = {{Integrity Constraint Reformulation for Efficient Validation}},
        author = {Qian, Xiaolei and Smith, Douglas R.},
        journal = {PVLDB},
        series = {{VLDB} '87},
        pages = {417},
        year = {1987}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,329	Deriving Production Rules for Constraint Maintenance	1990	VLDB	0.00011140837
3,887	Enforcing Inclusion Dependencies and Referential Integrity	1988	VLDB	7.0455552e-05
8,427	Integrity Maintenance in an Object-Oriented Database	1992	VLDB	5.4265283e-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
81	Implementation of Integrity Constraints and Views by Query Modification	1975	SIGMOD	0.00036443459
2,591	Knowledge-based Integrity Constraint Validation	1986	VLDB	8.366058e-05
3,745	Cost and Performance Analysis of Semantic Integrity Validation Methods	1979	SIGMOD	7.1563685e-05
4,818	Semantic Integrity Dependencies and Delayed Integrity Checking	1982	VLDB	6.494062e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	9,247	The Role of Integrity Constraints in Database Interoperation	1996	VLDB
2	13,063	Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases	1993	VLDB
3	1,329	Deriving Production Rules for Constraint Maintenance	1990	VLDB
4	4,167	Integrity Constraints for XML	2000	PODS
5	12,984	Further Improvement on Integrity Constraint Checking for Stratifiable Deductive Databases	1996	VLDB
6	1,489	Constraint Checking with Partial Information	1994	PODS
7	8,506	Checking Consistency of Database Constraints: a Logical Basis	1986	VLDB
8	376	Discovering Denial Constraints	2013	VLDB
9	4,094	Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints	1987	PODS
10	2,591	Knowledge-based Integrity Constraint Validation	1986	VLDB