How Can Reasoners Simplify Database Querying (And Why Haven’t They Done It Yet)?

Summary: Surveys reasoning-based rewriting and simplification of relational queries, spanning theory, algorithms, tools, standards, and benchmarks. Exposes the gap between elegant results and practical adoption, while outlining open problems and implementation barriers. (summarized by gpt-5.6-luna on Jul 26 2026)

Paper ID: h54c27f5073355019
Venue: PODS
Year: 2018
Pagerank: 4.9769913e-05
Overall Rank: 12,207 | 17.96%
DOI: 10.1145/3196959.3196989

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Michael Benedikt (University of Oxford)

BibTeX Citation

@inproceedings{benedikt_pods18,
        address = {New York, NY, USA},
        series = {{PODS} '18},
        title = {{How Can Reasoners Simplify Database Querying (And Why Haven’t They Done It Yet)?}},
        url = {https://dl.acm.org/doi/10.1145/3196959.3196989},
        doi = {10.1145/3196959.3196989},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Benedikt, Michael},
        year = {2018}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 26 of 26 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
24	Data Integration: A Theoretical Perspective	2002	PODS	0.00055018384
41	Testing Implications Of Data Dependencies	1979	SIGMOD	0.00045878061
72	Answering Queries Using Views (Extended Abstract)	1995	PODS	0.0003753293
136	Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract)	1982	PODS	0.0002972645
310	Optimization of Real Conjunctive Queries	1993	PODS	0.00021364898
317	OPTIMIZING DATALOG PROGRAMS (Extended Abstract)	1987	PODS	0.00021210493
790	Cosette: An Automated Prover for SQL	2017	CIDR	0.00013971102
880	Rewriting Aggregate Queries Using Views	1999	PODS	0.00013274554
897	On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases	2003	PODS	0.00013198452
1,277	Orca: A Modular Query Optimizer Architecture for Big Data	2014	SIGMOD	0.00011234276
1,683	The iBench Integration Metadata Generator	2016	VLDB	9.8804382e-05
2,046	Views and Queries: Determinacy and Rewriting	2005	PODS	9.1331561e-05
2,585	Advanced Processing for Ontological Queries	2010	VLDB	8.2546449e-05
2,675	Benchmarking the Chase	2017	PODS	8.1442721e-05
3,002	Querying with Access Patterns and Integrity Constraints	2015	VLDB	7.7633832e-05
3,316	On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs	1994	PODS	7.4342107e-05
3,447	Complete Yet Practical Search for Minimal Query Reformulations Under Constraints	2014	SIGMOD	7.2907616e-05
4,246	Queries with Guarded Negation	2012	VLDB	6.7032723e-05
4,465	On the Correct and Complete Enumeration of the Core Search Space	2013	SIGMOD	6.5849117e-05
4,863	That's All Folks! LLUNATIC Goes Open Source	2014	VLDB	6.3757278e-05
5,398	Incomplete Data: What Went Wrong, and How to Fix It	2014	PODS	6.1473171e-05
6,762	Teaching an RDBMS about ontological constraints	2016	VLDB	5.6873437e-05
8,411	PDQ: Proof-driven Query Answering over Web-based Data	2014	VLDB	5.3354072e-05
9,165	Reformulation-based query answering in RDF: alternatives and performance	2015	VLDB	5.2147809e-05
9,366	Expressive Languages for Querying the Semantic Web	2014	PODS	5.1849263e-05
10,119	Semantic Acyclicity Under Constraints	2016	PODS	5.0765311e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	421	On the Complexity of Database Queries (Extended Abstract)	1997	PODS
2	7,136	Performing Inferences Over Relation Data Bases	1975	SIGMOD
3	1,899	Querying Multiple Features of Groups in Relational Databases	1996	VLDB
4	13,503	QUERYING LOGICAL DATABASES: Preliminary Report	1985	PODS
5	2,551	Aggregation and Relevance in Deductive Databases	1991	VLDB
6	67	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD
7	2,152	Theory of Database Queries (Extended Abstract)	1988	PODS
8	2,656	Loading Data into Description Reasoners	1993	SIGMOD
9	2,548	Querying Database Knowledge	1990	SIGMOD
10	9,069	Understanding Queries by Conditional Instances	2022	SIGMOD