Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
429839 | Journal of Computer and System Sciences | 2012 | 20 Pages |
Let XP(/,//,[]) be the fragment of XPath 1.0, consisting of queries that involve only the child and descendant axes, and predicates without disjunction or negation (and no wildcard nodetests); these queries can be represented as tree patterns. We consider the problem of rewriting a query Q using a materialized view V , where Q,V∈XP(/,//,[]). We present more efficient algorithms for the following: (1) Determine if an equivalent rewriting of Q using V exists; find the smallest such rewriting, when it exists. A previously-known algorithm runs in O(|Q|2+|Q||V|)O(|Q|2+|Q||V|) time. For the special case when Q is known to be minimal, we present an O(|Q||V|)O(|Q||V|) algorithm. (2) Determine if a (nonempty) contained rewriting of Q using V exists. We present an O(|Q||V|)O(|Q||V|) algorithm, compared to the previous O(|Q||V|2)O(|Q||V|2) algorithm. We also present a more efficient algorithm for finding a maximal such rewriting, when it exists. Then we extend this result to a subset of XP(/,//,[],⁎) that allows restricted occurrences of wildcard nodetests.
► Study the problem of rewriting an XPath query using a materialized XPath view. ► Characterize when an equivalent rewriting exists. ► Faster algorithm to determine if a maximal contained rewriting exists. ► Faster algorithm to find a compact representation of all contained rewritings. ► Study the relationship between homomorphisms and simulation.