Independence of Containing Patterns Property and Its Application in Tree Pattern Query Rewriting Using Views

Abstract

We show that several classes of tree patterns observe the independence of containing patterns property, that is, if a pattern is contained in the union of several patterns, then it is contained in one of them. We apply this property to two related problems on tree pattern rewriting using views. First, given view V and query Q, is it possible for Q to have an equivalent rewriting using V which is the union of two or more tree patterns, but not an equivalent rewriting which is a single pattern? This problem is of both theoretical and practical importance because, if the answer is no, then, to find an equivalent rewriting of a tree pattern using a view, we should use more efficient methods, such as the polynomial time algorithm of Xu and Özsoyoglu (2005), rather than try to find the union of all contained rewritings (which takes exponential time in the worst case) and test its equivalence to Q. Second, given a set S of views, we want to know under what conditions a subset S of S is redundant in the sense that for any query Q, the contained rewritings of Q using the views in S are contained in those using the views in S − S . Solving this problem can help us to, for example, choose the minimum number of views to be cached, or better design the virtual schema in a mediated data integration system, or avoid repeated calculation in query optimization. For the first problem, we identify several classes of tree patterns for which the equivalent rewriting can be expressed as a single tree pattern. For the second problem, we present necessary and sufficient conditions for S to be redundant with respect to some classes of tree patterns. For both problems World Wide Web (2009) 12:87-105 we consider extension to cases where there are rewritings using the intersection of multiple views and/or where a schema graph is present.

A Survey of XML Tree Patterns

“…In the remainder of this paper, we use the more general term matching when referring to mapping TPs against data trees. 2.1.9 Boolean tree pattern A Boolean TP b yields a "true" (respectively "false") result when successfully (respectively unsuccessfully) matched against a data tree t. In other words, b has no output node(s) [23]: it yields a "true" result when t structurally matches (embeds) p.…”

Least common container of tree pattern queries and its applications

“…In particular, the authors showed some fragments are closed under a set of logical operations (e.g., intersection), that is, given two expressions P 1 , P 2 in the fragment, there exists an expression P 3 in the same fragment such that the new expression is equivalent to the combined expression of P 1 and P 2 using the logical operations. In addition, Wang et al [13] showed that some tree patterns have the independence of containing pattern's property: that is, if P is contained in the union of P 1 , . .…”

PeerLearning: A Content-Based e-Learning Material Sharing System Based on P2P Network

“…In [34], the authors use the "independence of containing patterns" property to equivalently rewrite tree patterns using views. These methods can save large query processing costs for learning materials expressed using XML documents.…”