Database Paper Browser

Back to papers

Queries Independent of Updates

Summary: Reduces independence of Datalog queries from updates to program equivalence (insertions and deletions). Extends query-reachability and uniform equivalence to recursive Datalog with dense-order constraints and stratified negation, yielding decidable, sound independence tests and optimization insights. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID
8124
Venue
VLDB
Year
1993
Pagerank
0.00015197786
Overall Rank
938 | 93.48%
DOI
-

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 35 of 35 citing papers.

Rank Citing Paper Year Venue Pagerank
82 Answering Queries Using Views (Extended Abstract) 1995 PODS 0.00054402763
101 ULDBs: Databases with Uncertainty and Lineage 2006 VLDB 0.0004955674
291 Answering Queries Using Templates With Binding Patterns (Extended Abstract) 1995 PODS 0.00028831632
810 Query Containment for Conjunctive Queries With Regular Expressions 1998 PODS 0.00016428374
976 Answering Queries Using Limited External Query Processors 1996 PODS 0.0001489085
1,083 A Formal Analysis of Information Disclosure in Data Exchange 2004 SIGMOD 0.00014210752
1,353 Data Warehouse Configuration 1997 VLDB 0.00012410919
1,393 View Maintenance Issues for the Chronicle Data Model (Extended Abstract) 1995 PODS 0.00012223764
1,578 Constraint Checking with Partial Information 1994 PODS 0.00011284233
1,952 Deciding Containment for Queries with Complex Objects (Extended Abstract) 1997 PODS 9.9677831e-05
2,072 Query Flocks: A Generalization of Association-Rule Mining 1998 SIGMOD 9.6150986e-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
2,877 Semantic Query Optimization in Datalog Programs (Extended Abstract) 1995 PODS 7.9715251e-05
3,168 Query Containment for Data Integration Systems 2000 PODS 7.4508875e-05
4,736 An Algebraic Approach to Rule Analysis in Expert Database Systems 1994 VLDB 5.961234e-05
5,127 View Invalidation for Dynamic Content Caching in Multitiered Architectures 2002 VLDB 5.67905e-05
5,176 User-Defined Aggregate Functions: Bridging Theory and Practice 2006 SIGMOD 5.6439407e-05
5,444 Destabilizers and Independence of XML Updates 2010 VLDB 5.5025148e-05
5,459 Capturing Missing Tuples and Missing Values 2010 PODS 5.4957751e-05
5,460 Relative Information Completeness 2009 PODS 5.4957751e-05
5,480 Multiple-View Self-Maintenance in Data Warehousing Environments 1997 VLDB 5.484741e-05
5,659 Implementation Strategies for Views over Property Graphs 2024 SIGMOD 5.3847762e-05
5,834 Efficient Detection of Empty-Result Queries 2006 VLDB 5.3103189e-05
6,198 Scalable Query Result Caching for Web Applications 2008 VLDB 5.1612694e-05
6,294 Containment of Nested XML Queries 2004 VLDB 5.1255418e-05
7,275 The Impact of Virtual Views on Containment 2010 VLDB 4.7806552e-05
7,413 On Scale Independence for Querying Big Data 2014 PODS 4.7358047e-05
7,783 Maintaining XPath Views in Loosely Coupled Systems 2006 VLDB 4.6521054e-05
8,311 Satisfiability and Relevance for Queries over Active Documents 2009 PODS 4.5435639e-05
11,625 InvaliDB: Scalable Push-Based Real-Time Queries on Top of Pull-Based Databases (Extended) 2020 VLDB 4.1945683e-05
12,033 On the Expressive Power of Update Primitives 2013 PODS 4.1945683e-05
12,493 Simultaneous Scalability and Security for Data-Intensive Web Applications 2006 SIGMOD 4.1945683e-05
12,529 A Scalability Service for Dynamic Web Applications 2005 CIDR 4.1945683e-05
12,790 Further Improvement on Integrity Constraint Checking for Stratifiable Deductive Databases 1996 VLDB 4.1945683e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 cited papers.

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

Rank Cited Paper Year Venue Pagerank
172 Decidability And Expressiveness Aspects Of Logic Queries 1987 PODS 0.00038808816
200 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS 0.00035012858
581 The Complexity of Querying Indefinite Data about Linearly Ordered Domains (Preliminary Version) 1992 PODS 0.00019767772
1,189 Independence of Logic Database Queries and Updates 1990 PODS 0.00013441514
2,285 Local Verification of Global Integrity Constraints in Distributed Databases 1993 SIGMOD 9.0985926e-05
3,857 Constraints and Redundancy in Datalog 1992 PODS 6.6939005e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

Overall Rank Paper Year Venue Pagerank
2,327 Obtaining Complete Answers from Incomplete Databases 1996 VLDB 9.0276061e-05
12,782 Static Analysis of Intensional Databases in U-Datalog 1996 PODS 4.1945683e-05
7,961 Schema-Based Independence Analysis for XML Updates 2009 VLDB 4.613363e-05
1,490 On the Decidability of Query Containment under Constraints 1998 PODS 0.00011699154
200 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS 0.00035012858
5,444 Destabilizers and Independence of XML Updates 2010 VLDB 5.5025148e-05
2,877 Semantic Query Optimization in Datalog Programs (Extended Abstract) 1995 PODS 7.9715251e-05
172 Decidability And Expressiveness Aspects Of Logic Queries 1987 PODS 0.00038808816
2,830 Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions 1993 PODS 8.054172e-05
1,189 Independence of Logic Database Queries and Updates 1990 PODS 0.00013441514