Equivalence of nested queries with mixed semantics

9 years 11 months ago
Equivalence of nested queries with mixed semantics
We consider the problem of deciding query equivalence for a conjunctive language in which queries output complex objects composed from a mixture of nested, unordered collection types. Using an encoding of nested objects as flat relations, we translate the problem to deciding the equivalence between encodings output by relational conjunctive queries. This encoding equivalence cleanly unifies and generalizes previous results for deciding equivalence of conjunctive queries evaluated under various processing semantics. As part of our characterization of encoding equivalence, we define a normal form for encoding queries and contend that this normal form offers new insight into the fundamental principles governing the behaviour of nested aggregation. Categories and Subject Descriptors H.2.4 [Database Management]: Systems--query processing, relational databases; H.2.3 [Database Management]: Languages--query languages General Terms Algorithms, Languages, Theory Keywords conjunctive queries, q...
David DeHaan
Added 25 Nov 2009
Updated 25 Nov 2009
Type Conference
Year 2009
Where PODS
Authors David DeHaan
Comments (0)