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
- 6350
- Venue
- SIGMOD
- Year
- 2022
- Pagerank
- 4.4221863e-05
- Overall Rank
- 8,954 | 37.71%
- 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.0007857786 |
| 38 |
Testing Implications Of Data Dependencies |
1979 |
SIGMOD |
0.00075110004 |
| 487 |
Why Not? |
2009 |
SIGMOD |
0.00022050218 |
| 494 |
Data Exchange: Getting to the Core |
2003 |
PODS |
0.00021805832 |
| 611 |
Lineage Tracing for General Data Warehouse Transformations |
2001 |
VLDB |
0.00019231115 |
| 652 |
On the Provenance of Non-Answers to Queries over Extracted Data |
2008 |
VLDB |
0.00018634477 |
| 689 |
Debugging Schema Mappings with Routes |
2006 |
VLDB |
0.00018111991 |
| 698 |
The Chase Revisited |
2008 |
PODS |
0.00018030148 |
| 888 |
QAGen: Generating Query-Aware Test Databases |
2007 |
SIGMOD |
0.00015578618 |
| 942 |
A Formal Approach to Finding Explanations for Database Queries |
2014 |
SIGMOD |
0.00015155714 |
| 1,057 |
Cosette: An Automated Prover for SQL |
2017 |
CIDR |
0.0001439886 |
| 1,106 |
Provenance for Aggregate Queries |
2011 |
PODS |
0.0001398766 |
| 1,125 |
How to ConQueR Why-Not Questions |
2010 |
SIGMOD |
0.00013845652 |
| 2,035 |
Generating Example Data for Dataflow Programs |
2009 |
SIGMOD |
9.7149269e-05 |
| 2,402 |
Causality and Explanations in Databases |
2014 |
VLDB |
8.8928361e-05 |
| 2,562 |
Explaining Missing Answers to SPJUA Queries |
2010 |
VLDB |
8.5386194e-05 |
| 2,790 |
Artemis: A System for Analyzing Missing Answers |
2009 |
VLDB |
8.1239026e-05 |
| 3,424 |
Data Exchange: Computing Cores in Polynomial Time |
2006 |
PODS |
7.110765e-05 |
| 4,517 |
Generating Databases for Query Workloads |
2010 |
VLDB |
6.1178732e-05 |
| 4,706 |
Aggregation in Probabilistic Databases via Knowledge Compilation |
2012 |
VLDB |
5.9820914e-05 |
| 5,733 |
Explaining Wrong Queries Using Small Examples |
2019 |
SIGMOD |
5.3483446e-05 |
| 9,660 |
Meta-Mappings for Schema Mapping Reuse |
2019 |
VLDB |
4.3107389e-05 |
Semantically Similar Papers
| Overall Rank |
Paper |
Year |
Venue |
Pagerank |
| 8,961 |
An Effective Syntax for Bounded Relational Queries |
2016 |
SIGMOD |
4.4206115e-05 |
| 1,754 |
Querying Multiple Features of Groups in Relational Databases |
1996 |
VLDB |
0.00010670609 |
| 12,974 |
DYNAMIC QUERY INTERPRETATION IN RELATIONAL DATABASES (Extended abstract) |
1987 |
PODS |
4.1945683e-05 |
| 12,861 |
Interpreting a Reconstructed Relational Calculus: Extended Abstract |
1993 |
SIGMOD |
4.1945683e-05 |
| 5,733 |
Explaining Wrong Queries Using Small Examples |
2019 |
SIGMOD |
5.3483446e-05 |
| 6,273 |
Identifying the Extent of Completeness of Query Answers over Partially Complete Databases |
2015 |
SIGMOD |
5.1323078e-05 |
| 2,318 |
Efficient Query Answering in the Representative Instance Approach |
1985 |
PODS |
9.0400919e-05 |
| 8,216 |
Answering Queries In Relational Databases |
1983 |
SIGMOD |
4.5575596e-05 |
| 8,404 |
On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages |
2024 |
SIGMOD |
4.5224126e-05 |
| 9,012 |
Querying Weak Instances |
1984 |
PODS |
4.4096041e-05 |