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: hf8699430c22b3c8c
Venue: VLDB
Year: 1996
Pagerank: 4.9769913e-05
Overall Rank: 13,280 | 10.75%
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
875	Queries Independent of Updates	1993	VLDB	0.0001331025
1,393	Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates	1986	VLDB	0.00010801562
1,521	Constraint Checking with Partial Information	1994	PODS	0.00010374735
2,477	Local Verification of Global Integrity Constraints in Distributed Databases	1993	SIGMOD	8.4067256e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	2,551	Aggregation and Relevance in Deductive Databases	1991	VLDB
2	13,359	Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases	1993	VLDB
3	2,640	Knowledge-based Integrity Constraint Validation	1986	VLDB
4	13,290	Enhancing Database Correctness: A Statistical Approach	1995	SIGMOD
5	4,179	Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints	1987	PODS
6	6,271	Integrity Constraint Reformulation for Efficient Validation	1987	VLDB
7	3,163	Integrity Checking in Deductive Databases	1987	VLDB
8	1,521	Constraint Checking with Partial Information	1994	PODS
9	8,682	Checking Consistency of Database Constraints: a Logical Basis	1986	VLDB
10	6,375	Integrity Constraints Checking In Deductive Databases	1991	VLDB