Local Verification of Global Integrity Constraints in Distributed Databases

Summary: Proposes Local Verification of Global Constraints to verify cross-site constraints using local data. Algorithm derives a local test from a global constraint and inserted data; if it holds, global integrity remains, else fall back to full verification. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2625
Venue: SIGMOD
Year: 1993
Pagerank: 9.0985926e-05
Overall Rank: 2,285 | 84.11%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Ashish Gupta
2. Jennifer Widom

Incoming Citations (Sorted by Pagerank)

Showing 8 of 8 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
745	Distributed Top-K Monitoring	2003	SIGMOD	0.00017330487
938	Queries Independent of Updates	1993	VLDB	0.00015197786
1,003	Adaptive Filters for Continuous Queries over Distributed Data Streams	2003	SIGMOD	0.00014698435
1,028	Coordination Avoidance in Database Systems	2015	VLDB	0.00014584518
1,578	Constraint Checking with Partial Information	1994	PODS	0.00011284233
1,926	Efficient Numerical Error Bounding for Replicated Network Services	2000	VLDB	0.00010067514
7,175	Interactive Checks for Coordination Avoidance	2019	VLDB	4.8107192e-05
12,790	Further Improvement on Integrity Constraint Checking for Stratifiable Deductive Databases	1996	VLDB	4.1945683e-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
1,189	Independence of Logic Database Queries and Updates	1990	PODS	0.00013441514
1,283	Fast Methods For Testing Quantified Relational Calculus Assertions	1982	SIGMOD	0.0001284615
1,448	Theory of Database Queries (Extended Abstract)	1988	PODS	0.00011938045
2,176	Integrity Checking In Deductive Databases	1987	VLDB	9.3623985e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
7,272	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS	4.7811016e-05
12,885	Ensuring Transaction Atomicity in Multidatabase Systems	1992	PODS	4.1945683e-05
49	Consistent Query Answers in Inconsistent Databases	1999	PODS	0.00067660624
2,581	On-the-Fly, Incremental, Consistent Reading of Entire Databases	1985	VLDB	8.5019381e-05
1,296	A Locking Protocol For Resource Coordination In Distributed Databases	1978	SIGMOD	0.00012758636
8,269	Checking Consistency of Database Constraints: a Logical Basis	1986	VLDB	4.5455963e-05
2,283	Knowledge-based Integrity Constraint Validation	1986	VLDB	9.105984e-05
12,787	Maintaining Database Consistency in Presence of Value Dependencies in Multidatabase Systems	1996	SIGMOD	4.1945683e-05
9,085	The Role of Integrity Constraints in Database Interoperation	1996	VLDB	4.3994589e-05
1,578	Constraint Checking with Partial Information	1994	PODS	0.00011284233