In static analysis of queries over trees in the presence of schemas, there is an exponential complexity gap between conjunctive queries (CQs, positive existential first-order formulae without disjunction) and tree patterns (tree-like acyclic CQs). Motivated by applications in XML data management, we consider various restrictions of CQs that bring their complexity down to that of tree patterns. Most importantly, we show that vertical tree patterns can be costlessly extended with full horizontal CQs over children. We also consider restricted classes of schemas and show that under disjunction-free schemas the complexity of static analysis sometimes drops dramatically. © 2012 Springer-Verlag.
CITATION STYLE
Murlak, F., Ogiński, M., & Przybyłko, M. (2012). Between tree patterns and conjunctive queries: Is there tractability beyond acyclicity? In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7464 LNCS, pp. 705–717). https://doi.org/10.1007/978-3-642-32589-2_61
Mendeley helps you to discover research relevant for your work.