DBScholar

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
haa65d0c378259280
Venue
SIGMOD
Year
2022
Pagerank
5.2092307e-05
Overall Rank
9,090 | 39.07%
DOI
10.1145/3514221.3517898

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{gilad_sigmod22,
        title = {{Understanding Queries by Conditional Instances}},
        author = {Gilad, Amir and Miao, Zhengjie and Roy, Sudeepa and Yang, Jun},
        series = {{SIGMOD} '22},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/3514221.3517898},
        url = {https://dl.acm.org/doi/10.1145/3514221.3517898},
        year = {2022}
}

Incoming Citations (Sorted by Pagerank)

Showing 6 of 6 citing papers.

Previous Page 1 / 1 Next

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
17 Provenance Semirings 2007 PODS 0.00059660827
41 Testing Implications Of Data Dependencies 1979 SIGMOD 0.00045733094
389 Why Not? 2009 SIGMOD 0.00019254758
393 Data Exchange: Getting to the Core 2003 PODS 0.00019157229
540 The Chase Revisited 2008 PODS 0.00016674946
592 Lineage Tracing for General Data Warehouse Transformations 2001 VLDB 0.0001583562
624 On the Provenance of Non-Answers to Queries over Extracted Data 2008 VLDB 0.00015438077
672 A Formal Approach to Finding Explanations for Database Queries 2014 SIGMOD 0.00014903109
751 QAGen: Generating Query-Aware Test Databases 2007 SIGMOD 0.00014245413
787 Cosette: An Automated Prover for SQL 2017 CIDR 0.00013959502
790 How to ConQueR Why-Not Questions 2010 SIGMOD 0.00013929166
811 Provenance for Aggregate Queries 2011 PODS 0.00013713646
846 Debugging Schema Mappings with Routes 2006 VLDB 0.00013486084
1,989 Causality and Explanations in Databases 2014 VLDB 9.2277193e-05
2,079 Explaining Missing Answers to SPJUA Queries 2010 VLDB 9.0602682e-05
2,134 Generating Example Data for Dataflow Programs 2009 SIGMOD 8.9819242e-05
2,371 Artemis: A System for Analyzing Missing Answers 2009 VLDB 8.5457987e-05
3,376 Data Exchange: Computing Cores in Polynomial Time 2006 PODS 7.3463849e-05
4,113 Generating Databases for Query Workloads 2010 VLDB 6.7870932e-05
4,196 Aggregation in Probabilistic Databases via Knowledge Compilation 2012 VLDB 6.7317801e-05
4,871 Explaining Wrong Queries Using Small Examples 2019 SIGMOD 6.3583165e-05
9,986 Meta-Mappings for Schema Mapping Reuse 2019 VLDB 5.0845636e-05
Previous Page 1 / 1 Next

Semantically Similar Papers