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
8125
Venue
VLDB
Year
1993
Pagerank
0.00015194231
Overall Rank
937 | 93.49%
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.00054430106
103 ULDBs: Databases with Uncertainty and Lineage 2006 VLDB 0.00049520051
288 Answering Queries Using Templates With Binding Patterns (Extended Abstract) 1995 PODS 0.00028885849
808 Query Containment for Conjunctive Queries With Regular Expressions 1998 PODS 0.000164132
976 Answering Queries Using Limited External Query Processors 1996 PODS 0.00014877501
1,082 A Formal Analysis of Information Disclosure in Data Exchange 2004 SIGMOD 0.00014196516
1,360 Data Warehouse Configuration 1997 VLDB 0.0001239983
1,395 View Maintenance Issues for the Chronicle Data Model (Extended Abstract) 1995 PODS 0.00012216523
1,579 Constraint Checking with Partial Information 1994 PODS 0.00011273105
1,959 Deciding Containment for Queries with Complex Objects (Extended Abstract) 1997 PODS 9.958725e-05
2,042 Query Flocks: A Generalization of Association-Rule Mining 1998 SIGMOD 9.6988612e-05
2,331 Obtaining Complete Answers from Incomplete Databases 1996 VLDB 9.019917e-05
2,344 Chasing Constrained Tuple-Generating Dependencies 1996 PODS 8.9942907e-05
2,887 Semantic Query Optimization in Datalog Programs (Extended Abstract) 1995 PODS 7.9640219e-05
3,174 Query Containment for Data Integration Systems 2000 PODS 7.444226e-05
4,732 An Algebraic Approach to Rule Analysis in Expert Database Systems 1994 VLDB 5.9556573e-05
5,127 View Invalidation for Dynamic Content Caching in Multitiered Architectures 2002 VLDB 5.6735949e-05
5,177 User-Defined Aggregate Functions: Bridging Theory and Practice 2006 SIGMOD 5.6386942e-05
5,453 Destabilizers and Independence of XML Updates 2010 VLDB 5.4972307e-05
5,466 Capturing Missing Tuples and Missing Values 2010 PODS 5.4904942e-05
5,467 Relative Information Completeness 2009 PODS 5.4904942e-05
5,484 Multiple-View Self-Maintenance in Data Warehousing Environments 1997 VLDB 5.4826436e-05
5,672 Implementation Strategies for Views over Property Graphs 2024 SIGMOD 5.3796057e-05
5,846 Efficient Detection of Empty-Result Queries 2006 VLDB 5.3052255e-05
6,200 Scalable Query Result Caching for Web Applications 2008 VLDB 5.1562671e-05
6,293 Containment of Nested XML Queries 2004 VLDB 5.1206121e-05
7,272 The Impact of Virtual Views on Containment 2010 VLDB 4.7760673e-05
7,410 On Scale Independence for Querying Big Data 2014 PODS 4.7320027e-05
7,783 Maintaining XPath Views in Loosely Coupled Systems 2006 VLDB 4.6476417e-05
8,305 Satisfiability and Relevance for Queries over Active Documents 2009 PODS 4.5392079e-05
11,629 InvaliDB: Scalable Push-Based Real-Time Queries on Top of Pull-Based Databases (Extended) 2020 VLDB 4.1905499e-05
12,041 On the Expressive Power of Update Primitives 2013 PODS 4.1905499e-05
12,502 Simultaneous Scalability and Security for Data-Intensive Web Applications 2006 SIGMOD 4.1905499e-05
12,538 A Scalability Service for Dynamic Web Applications 2005 CIDR 4.1905499e-05
12,799 Further Improvement on Integrity Constraint Checking for Stratifiable Deductive Databases 1996 VLDB 4.1905499e-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
173 Decidability And Expressiveness Aspects Of Logic Queries 1987 PODS 0.00038731283
209 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS 0.00034147258
582 The Complexity of Querying Indefinite Data about Linearly Ordered Domains (Preliminary Version) 1992 PODS 0.00019753367
1,189 Independence of Logic Database Queries and Updates 1990 PODS 0.0001342924
2,288 Local Verification of Global Integrity Constraints in Distributed Databases 1993 SIGMOD 9.093171e-05
3,859 Constraints and Redundancy in Datalog 1992 PODS 6.6875648e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

Overall Rank Paper Year Venue Pagerank
3,174 Query Containment for Data Integration Systems 2000 PODS 7.444226e-05
12,791 Static Analysis of Intensional Databases in U-Datalog 1996 PODS 4.1905499e-05
7,964 Schema-Based Independence Analysis for XML Updates 2009 VLDB 4.6089395e-05
1,489 On the Decidability of Query Containment under Constraints 1998 PODS 0.00011687823
209 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS 0.00034147258
5,453 Destabilizers and Independence of XML Updates 2010 VLDB 5.4972307e-05
2,887 Semantic Query Optimization in Datalog Programs (Extended Abstract) 1995 PODS 7.9640219e-05
173 Decidability And Expressiveness Aspects Of Logic Queries 1987 PODS 0.00038731283
2,836 Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions 1993 PODS 8.0466188e-05
1,189 Independence of Logic Database Queries and Updates 1990 PODS 0.0001342924