Back to papers
Understanding Queries by Conditional Instances
Summary: Introduces conditional instances to illustrate query satisfaction, abstracting irrelevant data. Undecidability is shown for general domain calculus; practical algorithms compute a minimal, complete set of instances, enabling query debugging.
(summarized by gpt-5-nano on Feb 09 2026)
- Paper ID
- 6351
- Venue
- SIGMOD
- Year
- 2022
- Pagerank
- 4.417947e-05
- Overall Rank
- 8,958 | 37.75%
- DOI
-
10.1145/3514221.3517898
Incoming Non-self Citations Over Time
Incoming Citations (Sorted by Pagerank)
Showing 5 of 5 citing papers.
Outgoing Citations (Sorted by Pagerank)
Showing 22 of 22 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank |
Cited Paper |
Year |
Venue |
Pagerank |
| 31 |
Provenance Semirings |
2007 |
PODS |
0.00078516827 |
| 38 |
Testing Implications Of Data Dependencies |
1979 |
SIGMOD |
0.0007528369 |
| 487 |
Why Not? |
2009 |
SIGMOD |
0.00022030123 |
| 493 |
Data Exchange: Getting to the Core |
2003 |
PODS |
0.00021782199 |
| 593 |
Lineage Tracing for General Data Warehouse Transformations |
2001 |
VLDB |
0.0001952223 |
| 653 |
On the Provenance of Non-Answers to Queries over Extracted Data |
2008 |
VLDB |
0.00018616975 |
| 688 |
Debugging Schema Mappings with Routes |
2006 |
VLDB |
0.00018095639 |
| 695 |
The Chase Revisited |
2008 |
PODS |
0.00018013323 |
| 882 |
QAGen: Generating Query-Aware Test Databases |
2007 |
SIGMOD |
0.00015634206 |
| 943 |
A Formal Approach to Finding Explanations for Database Queries |
2014 |
SIGMOD |
0.00015140995 |
| 1,056 |
Cosette: An Automated Prover for SQL |
2017 |
CIDR |
0.00014391317 |
| 1,106 |
Provenance for Aggregate Queries |
2011 |
PODS |
0.00013976386 |
| 1,124 |
How to ConQueR Why-Not Questions |
2010 |
SIGMOD |
0.00013832959 |
| 2,035 |
Generating Example Data for Dataflow Programs |
2009 |
SIGMOD |
9.7131385e-05 |
| 2,400 |
Causality and Explanations in Databases |
2014 |
VLDB |
8.884178e-05 |
| 2,565 |
Explaining Missing Answers to SPJUA Queries |
2010 |
VLDB |
8.5307653e-05 |
| 2,794 |
Artemis: A System for Analyzing Missing Answers |
2009 |
VLDB |
8.1164685e-05 |
| 3,426 |
Data Exchange: Computing Cores in Polynomial Time |
2006 |
PODS |
7.1040993e-05 |
| 4,441 |
Generating Databases for Query Workloads |
2010 |
VLDB |
6.1795515e-05 |
| 4,708 |
Aggregation in Probabilistic Databases via Knowledge Compilation |
2012 |
VLDB |
5.9763416e-05 |
| 5,743 |
Explaining Wrong Queries Using Small Examples |
2019 |
SIGMOD |
5.3432106e-05 |
| 9,661 |
Meta-Mappings for Schema Mapping Reuse |
2019 |
VLDB |
4.306608e-05 |
Semantically Similar Papers
| Overall Rank |
Paper |
Year |
Venue |
Pagerank |
| 8,963 |
An Effective Syntax for Bounded Relational Queries |
2016 |
SIGMOD |
4.4165156e-05 |
| 1,754 |
Querying Multiple Features of Groups in Relational Databases |
1996 |
VLDB |
0.00010663123 |
| 12,985 |
DYNAMIC QUERY INTERPRETATION IN RELATIONAL DATABASES (Extended abstract) |
1987 |
PODS |
4.1905499e-05 |
| 12,871 |
Interpreting a Reconstructed Relational Calculus: Extended Abstract |
1993 |
SIGMOD |
4.1905499e-05 |
| 5,743 |
Explaining Wrong Queries Using Small Examples |
2019 |
SIGMOD |
5.3432106e-05 |
| 6,271 |
Identifying the Extent of Completeness of Query Answers over Partially Complete Databases |
2015 |
SIGMOD |
5.1273783e-05 |
| 2,531 |
Efficient Query Answering in the Representative Instance Approach |
1985 |
PODS |
8.5916172e-05 |
| 8,205 |
Answering Queries In Relational Databases |
1983 |
SIGMOD |
4.5546165e-05 |
| 8,400 |
On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages |
2024 |
SIGMOD |
4.5180771e-05 |
| 9,098 |
Querying Weak Instances |
1984 |
PODS |
4.3917473e-05 |