Independence of Logic Database Queries and Updates

Summary: Defines a model-theoretic notion of query–update independence and proves basic properties under integrity constraints. Provides proof-theoretic conditions for conjunctive queries and an induction scheme to establish independence for recursive queries. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 897
Venue: PODS
Year: 1990
Pagerank: 0.00013441514
Overall Rank: 1,189 | 91.74%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Charles Elkan

Incoming Citations (Sorted by Pagerank)

Showing 11 of 11 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
938	Queries Independent of Updates	1993	VLDB	0.00015197786
1,083	A Formal Analysis of Information Disclosure in Data Exchange	2004	SIGMOD	0.00014210752
1,578	Constraint Checking with Partial Information	1994	PODS	0.00011284233
2,285	Local Verification of Global Integrity Constraints in Distributed Databases	1993	SIGMOD	9.0985926e-05
2,327	Obtaining Complete Answers from Incomplete Databases	1996	VLDB	9.0276061e-05
2,341	Chasing Constrained Tuple-Generating Dependencies	1996	PODS	9.0034124e-05
5,127	View Invalidation for Dynamic Content Caching in Multitiered Architectures	2002	VLDB	5.67905e-05
5,459	Capturing Missing Tuples and Missing Values	2010	PODS	5.4957751e-05
5,460	Relative Information Completeness	2009	PODS	5.4957751e-05
11,625	InvaliDB: Scalable Push-Based Real-Time Queries on Top of Pull-Based Databases (Extended)	2020	VLDB	4.1945683e-05
12,209	Completeness of Queries over Incomplete Databases	2011	VLDB	4.1945683e-05

Outgoing Citations (Sorted by Pagerank)

Showing 11 of 11 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
55	Efficiently Updating Materialized Views	1986	SIGMOD	0.00065762967
172	Decidability And Expressiveness Aspects Of Logic Queries	1987	PODS	0.00038808816
200	OPTIMIZING DATALOG PROGRAMS (Extended Abstract)	1987	PODS	0.00035012858
929	Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates	1986	VLDB	0.00015241524
1,622	A Procedural Semantics for Well Founded Negation in Logic Programs	1989	PODS	0.00011106192
1,688	Automata Theory for Database Theoreticians	1989	PODS	0.00010913301
2,206	A Decidable Class of Bounded Recursions	1987	PODS	9.2910236e-05
2,339	Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract)	1989	PODS	9.005745e-05
3,238	Safety and Correct Translation of Relational Calculus Formulas	1987	PODS	7.334684e-05
4,840	Solving the Phantom Problem by Predicative Optimistic Concurrency Control	1983	VLDB	5.8864974e-05
5,735	A Decision Procedure for Conjunctive Query Disjointness	1989	PODS	5.3482653e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
2,185	On the Equivalence of Logical Databases	1984	PODS	9.3382191e-05
2,327	Obtaining Complete Answers from Incomplete Databases	1996	VLDB	9.0276061e-05
12,798	Applying an update method to a set of receivers (extended abstract)	1995	PODS	4.1945683e-05
3,380	Independent and Separable Database Schemes	1983	PODS	7.1606467e-05
1,102	On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases	2003	PODS	0.00014049364
49	Consistent Query Answers in Inconsistent Databases	1999	PODS	0.00067660624
1,185	Data Independent Recursion in Deductive Databases	1986	PODS	0.00013445831
7,961	Schema-Based Independence Analysis for XML Updates	2009	VLDB	4.613363e-05
12,986	Independent Database Schemes Under Functional And Inclusion Dependencies	1987	VLDB	4.1945683e-05
938	Queries Independent of Updates	1993	VLDB	0.00015197786