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.2265129e-05
Overall Rank
9,069 | 39.05%
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.00059813669
41 Testing Implications Of Data Dependencies 1979 SIGMOD 0.00045878061
389 Why Not? 2009 SIGMOD 0.00019313101
392 Data Exchange: Getting to the Core 2003 PODS 0.00019215652
539 The Chase Revisited 2008 PODS 0.0001672793
590 Lineage Tracing for General Data Warehouse Transformations 2001 VLDB 0.00015884721
621 On the Provenance of Non-Answers to Queries over Extracted Data 2008 VLDB 0.0001548582
671 A Formal Approach to Finding Explanations for Database Queries 2014 SIGMOD 0.00014948069
748 QAGen: Generating Query-Aware Test Databases 2007 SIGMOD 0.00014277246
790 Cosette: An Automated Prover for SQL 2017 CIDR 0.00013971102
791 How to ConQueR Why-Not Questions 2010 SIGMOD 0.00013970743
811 Provenance for Aggregate Queries 2011 PODS 0.00013746145
846 Debugging Schema Mappings with Routes 2006 VLDB 0.00013527027
1,983 Causality and Explanations in Databases 2014 VLDB 9.2548712e-05
2,069 Explaining Missing Answers to SPJUA Queries 2010 VLDB 9.0884616e-05
2,118 Generating Example Data for Dataflow Programs 2009 SIGMOD 9.0107134e-05
2,361 Artemis: A System for Analyzing Missing Answers 2009 VLDB 8.5732984e-05
3,368 Data Exchange: Computing Cores in Polynomial Time 2006 PODS 7.3687982e-05
4,093 Generating Databases for Query Workloads 2010 VLDB 6.809504e-05
4,176 Aggregation in Probabilistic Databases via Knowledge Compilation 2012 VLDB 6.7541079e-05
4,849 Explaining Wrong Queries Using Small Examples 2019 SIGMOD 6.3794032e-05
9,953 Meta-Mappings for Schema Mapping Reuse 2019 VLDB 5.1014321e-05
Previous Page 1 / 1 Next

Semantically Similar Papers