Database Paper Browser

Back to papers

Semantic Query Optimization in the Presence of Types

Summary: Unifying logic-based framework merging semantic and type-based optimization by extending the chase to conjunctive queries (with union/negation) under dependencies with negation/disjunction. Provides new chase-termination conditions, fragments ensuring minimal rewritings w.r.t. a generic cost, and complexity results. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
1512
Venue
PODS
Year
2010
Pagerank
8.2216778e-05
Overall Rank
2,727 | 81.04%
DOI
-

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank Citing Paper Year Venue Pagerank
4,183 Verification of Relational Data-Centric Dynamic Systems with External Services 2013 PODS 6.378289e-05
7,674 Query Containment in Entity SQL (Extended Abstract) 2013 SIGMOD 4.6818255e-05
9,676 Schema-Based Query Optimisation for Graph Databases 2025 SIGMOD 4.3047774e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 16 of 16 cited papers.

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

Rank Cited Paper Year Venue Pagerank
38 Testing Implications Of Data Dependencies 1979 SIGMOD 0.00075110004
48 Data Integration: A Theoretical Perspective 2002 PODS 0.00069720859
144 Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract) 1982 PODS 0.00041462501
698 The Chase Revisited 2008 PODS 0.00018030148
1,736 Generalized Schema-Mappings: From Termination To Tractability 2009 PODS 0.00010720323
1,897 Type Inference for Queries on Semistructured Data (Extended Abstract) 1999 PODS 0.00010178006
1,952 Deciding Containment for Queries with Complex Objects (Extended Abstract) 1997 PODS 9.9677831e-05
2,398 Containment and Minimization of Positive Conjunctive Queries in OODB's (Extended Abstract) 1992 PODS 8.8973978e-05
2,594 On XML Integrity Constraints in the Presence of DTDs 2001 PODS 8.474176e-05
2,715 Peer Data Exchange 2005 PODS 8.2433779e-05
2,720 A General Datalog-Based Framework for Tractable Query Answering over Ontologies 2009 PODS 8.2367715e-05
3,489 On Chase Termination Beyond Stratification 2009 VLDB 7.0468114e-05
4,048 On the Complexity of the Containment Problem for Conjunctive Queries with Built-in Predicates 1998 PODS 6.4968603e-05
4,654 A Chase Too Far? 2000 SIGMOD 6.022356e-05
5,100 Methods and Rules 1993 SIGMOD 5.6996909e-05
6,312 Type Inference for Datalog and its Application to Query Optimisation 2008 PODS 5.1158809e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

Overall Rank Paper Year Venue Pagerank
7,835 A Formal Model of Trade-off between Optimization and Execution Costs in Semantic Query Optimization 1988 VLDB 4.63813e-05
12,921 Semigroup techniques in recursive query optimization 1990 PODS 4.1945683e-05
2,398 Containment and Minimization of Positive Conjunctive Queries in OODB's (Extended Abstract) 1992 PODS 8.8973978e-05
143 Optimization of Nonrecursive Queries 1986 VLDB 0.00041510555
2,401 Physical Data Independence, Constraints, and Optimization with Universal Plans 1999 VLDB 8.8954126e-05
12,297 Equivalence of SQL Queries In Presence of Embedded Dependencies 2009 PODS 4.1945683e-05
11,829 Semantic Acyclicity Under Constraints 2016 PODS 4.1945683e-05
2,877 Semantic Query Optimization in Datalog Programs (Extended Abstract) 1995 PODS 7.9715251e-05
335 Optimization of Real Conjunctive Queries 1993 PODS 0.00027036073
4,119 A System for Semantic Query Optimization 1987 SIGMOD 6.4365852e-05