Back to papers
Deciding Containment for Queries with Complex Objects (Extended Abstract)
Summary: Decidable containment and weak-equivalence for a conjunctive query language over complex objects via translation to novel 'simulation' and 'strong simulation' conditions on CQs (conditions involve arbitrary quantifier alternations). Shows simulation/strong-simulation checking is NP-complete, yields NP-completeness of CQ equivalence with grouping/aggregates, and identifies that weak-equivalence collapses to full equivalence when answers cannot contain empty sets.
(summarized by gpt-5-mini on Feb 09 2026)
- Paper ID
- 1099
- Venue
- PODS
- Year
- 1997
- Pagerank
- 9.9677831e-05
- Overall Rank
- 1,952 | 86.43%
- DOI
-
-
Incoming Non-self Citations Over Time
Incoming Citations (Sorted by Pagerank)
Showing 13 of 13 citing papers.
| Rank |
Citing Paper |
Year |
Venue |
Pagerank |
| 48 |
Data Integration: A Theoretical Perspective |
2002 |
PODS |
0.00069720859 |
| 297 |
Complexity of Answering Queries Using Materialized Views |
1998 |
PODS |
0.00028596715 |
| 1,490 |
On the Decidability of Query Containment under Constraints |
1998 |
PODS |
0.00011699154 |
| 2,399 |
Query Rewriting for Semistructured Data |
1999 |
SIGMOD |
8.8973689e-05 |
| 2,727 |
Semantic Query Optimization in the Presence of Types |
2010 |
PODS |
8.2216778e-05 |
| 3,084 |
On the minimization of Xpath queries |
2003 |
VLDB |
7.6011919e-05 |
| 6,299 |
Incremental View Maintenance For Collection Programming |
2016 |
PODS |
5.1225782e-05 |
| 6,300 |
Rewriting Nested XML Queries Using Nested Views |
2006 |
SIGMOD |
5.1223169e-05 |
| 6,312 |
Type Inference for Datalog and its Application to Query Optimisation |
2008 |
PODS |
5.1158809e-05 |
| 7,248 |
Positive Higher-Order Queries |
2010 |
PODS |
4.7902631e-05 |
| 8,704 |
Equivalence of Nested Queries with Mixed Semantics |
2009 |
PODS |
4.4647149e-05 |
| 9,741 |
Containment of Conjunctive Object Meta-Queries |
2006 |
VLDB |
4.2936538e-05 |
| 12,606 |
The NEXT Framework for Logical XQuery Optimization |
2004 |
VLDB |
4.1945683e-05 |
Outgoing Citations (Sorted by Pagerank)
Showing 14 of 14 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
Semantically Similar Papers