DBScholar

Back to papers

Queries Independent of Updates

Summary: Recasts query–update independence for recursive Datalog, under insertions and deletions, as program equivalence, clarifying its undecidability. Extends query-reachability and uniform-equivalence tests to order constraints and stratified negation. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID
8315
Venue
VLDB
Year
1993
Pagerank
0.00013587101
Overall Rank
853 | 94.15%
DOI
-

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@article{levy_vldb93,
        title = {{Queries Independent of Updates}},
        author = {Levy, Alon Y. and Sagiv, Yehoshua},
        journal = {PVLDB},
        series = {{VLDB} '93},
        year = {1993}
}

Incoming Citations (Sorted by Pagerank)

Showing 35 of 35 citing papers.

Rank Citing Paper Year Venue Pagerank
69 Answering Queries Using Views (Extended Abstract) 1995 PODS 0.00038090878
78 ULDBs: Databases with Uncertainty and Lineage 2006 VLDB 0.00036571789
298 Answering Queries Using Templates With Binding Patterns (Extended Abstract) 1995 PODS 0.00022138018
686 Query Containment for Conjunctive Queries With Regular Expressions 1998 PODS 0.00014948634
1,031 Answering Queries Using Limited External Query Processors 1996 PODS 0.0001253927
1,088 A Formal Analysis of Information Disclosure in Data Exchange 2004 SIGMOD 0.00012248135
1,489 Constraint Checking with Partial Information 1994 PODS 0.00010612225
1,543 Data Warehouse Configuration 1997 VLDB 0.00010413384
1,777 Deciding Containment for Queries with Complex Objects (Extended Abstract) 1997 PODS 9.7849758e-05
2,080 View Maintenance Issues for the Chronicle Data Model (Extended Abstract) 1995 PODS 9.2052704e-05
2,117 Obtaining Complete Answers from Incomplete Databases 1996 VLDB 9.1434045e-05
2,251 Query Flocks: A Generalization of Association-Rule Mining 1998 SIGMOD 8.8684789e-05
2,617 Chasing Constrained Tuple-Generating Dependencies 1996 PODS 8.3391085e-05
2,883 Semantic Query Optimization in Datalog Programs (Extended Abstract) 1995 PODS 8.0012184e-05
3,039 Query Containment for Data Integration Systems 2000 PODS 7.8265533e-05
4,896 User-Defined Aggregate Functions: Bridging Theory and Practice 2006 SIGMOD 6.4548696e-05
5,074 An Algebraic Approach to Rule Analysis in Expert Database Systems 1994 VLDB 6.3746118e-05
5,117 View Invalidation for Dynamic Content Caching in Multitiered Architectures 2002 VLDB 6.3581741e-05
5,264 Implementation Strategies for Views over Property Graphs 2024 SIGMOD 6.2947526e-05
5,457 Destabilizers and Independence of XML Updates 2010 VLDB 6.2131072e-05
5,616 Capturing Missing Tuples and Missing Values 2010 PODS 6.1493013e-05
5,617 Relative Information Completeness 2009 PODS 6.1493013e-05
5,779 Multiple-View Self-Maintenance in Data Warehousing Environments 1997 VLDB 6.0917725e-05
6,084 Efficient Detection of Empty-Result Queries 2006 VLDB 5.9830699e-05
6,098 The Impact of Virtual Views on Containment 2010 VLDB 5.9778168e-05
6,185 Containment of Nested XML Queries 2004 VLDB 5.9488248e-05
6,413 Scalable Query Result Caching for Web Applications 2008 VLDB 5.8834269e-05
7,484 On Scale Independence for Querying Big Data 2014 PODS 5.6074278e-05
8,130 Maintaining XPath Views in Loosely Coupled Systems 2006 VLDB 5.4819552e-05
8,547 Satisfiability and Relevance for Queries over Active Documents 2009 PODS 5.4119882e-05
11,820 InvaliDB: Scalable Push-Based Real-Time Queries on Top of Pull-Based Databases (Extended) 2020 VLDB 5.093636e-05
12,231 On the Expressive Power of Update Primitives 2013 PODS 5.093636e-05
12,686 Simultaneous Scalability and Security for Data-Intensive Web Applications 2006 SIGMOD 5.093636e-05
12,722 A Scalability Service for Dynamic Web Applications 2005 CIDR 5.093636e-05
12,984 Further Improvement on Integrity Constraint Checking for Stratifiable Deductive Databases 1996 VLDB 5.093636e-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
174 Decidability And Expressiveness Aspects Of Logic Queries 1987 PODS 0.00027231487
313 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS 0.0002168869
633 The Complexity of Querying Indefinite Data about Linearly Ordered Domains (Preliminary Version) 1992 PODS 0.00015560958
1,314 Independence of Logic Database Queries and Updates 1990 PODS 0.00011182427
2,442 Local Verification of Global Integrity Constraints in Distributed Databases 1993 SIGMOD 8.5767117e-05
3,812 Constraints and Redundancy in Datalog 1992 PODS 7.105413e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 2,117 Obtaining Complete Answers from Incomplete Databases 1996 VLDB
2 12,976 Static Analysis of Intensional Databases in U-Datalog 1996 PODS
3 8,279 Schema-Based Independence Analysis for XML Updates 2009 VLDB
4 1,630 On the Decidability of Query Containment under Constraints 1998 PODS
5 313 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS
6 5,457 Destabilizers and Independence of XML Updates 2010 VLDB
7 2,883 Semantic Query Optimization in Datalog Programs (Extended Abstract) 1995 PODS
8 174 Decidability And Expressiveness Aspects Of Logic Queries 1987 PODS
9 2,662 Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions 1993 PODS
10 1,314 Independence of Logic Database Queries and Updates 1990 PODS