Further Improvement on Integrity Constraint Checking for Stratifiable Deductive Databases

Summary: Extends the relevant-set approach for stratifiable deductive databases by incorporating relational predicates beyond constants and evaluable functions to prune constraint checks. Introduces a pretest to reduce DB accesses despite retrieval cost and supports multiple updates. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 8560
Venue: VLDB
Year: 1996
Pagerank: 5.093636e-05
Overall Rank: 12,984 | 10.92%
DOI: -

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Sin Yeung Lee (National University of Singapore)
2. Tok Wang Ling (National University of Singapore)

BibTeX Citation

@article{lee_vldb96,
        title = {{Further Improvement on Integrity Constraint Checking for Stratifiable Deductive Databases}},
        author = {Lee, Sin Yeung and Ling, Tok Wang},
        journal = {PVLDB},
        series = {{VLDB} '96},
        pages = {495},
        year = {1996}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

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
853	Queries Independent of Updates	1993	VLDB	0.00013587101
1,361	Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates	1986	VLDB	0.00011037801
1,489	Constraint Checking with Partial Information	1994	PODS	0.00010612225
2,442	Local Verification of Global Integrity Constraints in Distributed Databases	1993	SIGMOD	8.5767117e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	33	Consistent Query Answers in Inconsistent Databases	1999	PODS
2	13,063	Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases	1993	VLDB
3	2,591	Knowledge-based Integrity Constraint Validation	1986	VLDB
4	12,994	Enhancing Database Correctness: A Statistical Approach	1995	SIGMOD
5	4,094	Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints	1987	PODS
6	6,142	Integrity Constraint Reformulation for Efficient Validation	1987	VLDB
7	3,107	Integrity Checking in Deductive Databases	1987	VLDB
8	1,489	Constraint Checking with Partial Information	1994	PODS
9	8,506	Checking Consistency of Database Constraints: a Logical Basis	1986	VLDB
10	6,241	Integrity Constraints Checking In Deductive Databases	1991	VLDB