• Aucun résultat trouvé

The Query Containment Problem: Set Semantics vs. Bag Semantics

N/A
N/A
Protected

Academic year: 2022

Partager "The Query Containment Problem: Set Semantics vs. Bag Semantics"

Copied!
1
0
0

Texte intégral

(1)

The Query Containment Problem: Set Semantics vs.

Bag Semantics

Phokion G. Kolaitis

UC Santa Cruz and IBM Research - Almaden

Abstract. Query containment is a fundamental algorithmic task in database query processing and optimization. Under set semantics, the query-containment prob- lem for conjunctive queries has long been known to be NP-complete. SQL queries, however, are typically evaluated under bag semantics and return multisets as an- swers, since duplicates are not eliminated unless explicitly specified. The exact complexity of the query-containment problem for conjunctive queries under bag semantics has been an outstanding and rather poorly understood open problem for twenty years. In fact, to this date, it is not even known whether conjunctive-query containment under bag semantics is decidable. The goal of this talk is to draw attention to this fascinating problem by presenting a comprehensive overview of old and not-so-old results about the complexity of the query-containment prob- lem for conjunctive queries and their variants, under both set semantics and bag semantics.

Références

Documents relatifs

Considering that the Government of the Republic of South Africa, in spite of its long association with the World Health Organization, accepts and practises the policy of

In particular if a norm is computable in polynomial time then its set of relevant points has Hausdorff dimension 0 (Theorem 3.4 ), almost every point has a polynomial

Similarly, under the (polynomially verifiable) assumption that the input graph has a perfect matching, the exact perfect matching problem is precisely the exact weighted

Abstract: SPARQL query containment under schema axioms is the problem of determining whether, for any RDF graph satisfying a given set of schema axioms, the answers to a query

The intro- ductory experiments shows, that the nearly clones in dataset have an interesting structure, which needs to be investigated more deeply. This paper was introduc- tory for

Since our purpose here is to study agent migration in the presence of a structure of environments and stores, we will enrich this paradigm with the possibility of associating

SQCFrame- work is able to generate customized SPARQL containment benchmarks from real SPARQL query logs.. To this end, the framework makes use of different

This philosophy can be considered as equivalent to the generalization of the theta-join operator of the relational model [24] (with theta equals to a spatial operator). The