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
6412
Venue
SIGMOD
Year
2022
Pagerank
5.3422757e-05
Overall Rank
8,970 | 38.46%
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 5 of 5 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.00059843817
40 Testing Implications Of Data Dependencies 1979 SIGMOD 0.00046918506
377 Data Exchange: Getting to the Core 2003 PODS 0.00019643793
385 Why Not? 2009 SIGMOD 0.00019455743
525 The Chase Revisited 2008 PODS 0.00017118255
585 Lineage Tracing for General Data Warehouse Transformations 2001 VLDB 0.00016139897
628 On the Provenance of Non-Answers to Queries over Extracted Data 2008 VLDB 0.00015630285
663 A Formal Approach to Finding Explanations for Database Queries 2014 SIGMOD 0.00015174751
734 QAGen: Generating Query-Aware Test Databases 2007 SIGMOD 0.00014525584
806 Provenance for Aggregate Queries 2011 PODS 0.00013890398
834 Debugging Schema Mappings with Routes 2006 VLDB 0.00013724553
856 How to ConQueR Why-Not Questions 2010 SIGMOD 0.00013573466
910 Cosette: An Automated Prover for SQL 2017 CIDR 0.00013285905
1,943 Causality and Explanations in Databases 2014 VLDB 9.440636e-05
2,032 Explaining Missing Answers to SPJUA Queries 2010 VLDB 9.2828822e-05
2,077 Generating Example Data for Dataflow Programs 2009 SIGMOD 9.2085989e-05
2,358 Artemis: A System for Analyzing Missing Answers 2009 VLDB 8.6996414e-05
3,302 Data Exchange: Computing Cores in Polynomial Time 2006 PODS 7.5406585e-05
3,994 Generating Databases for Query Workloads 2010 VLDB 6.9686731e-05
4,098 Aggregation in Probabilistic Databases via Knowledge Compilation 2012 VLDB 6.9035475e-05
4,759 Explaining Wrong Queries Using Small Examples 2019 SIGMOD 6.5207388e-05
9,790 Meta-Mappings for Schema Mapping Reuse 2019 VLDB 5.220833e-05
Previous Page 1 / 1 Next

Semantically Similar Papers