Answering Queries using Views over Probabilistic XML: Complexity and Tractability

Bogdan Cautis 1, 2 Evgeny Kharlamov
1 DIG - Data, Intelligence and Graphs
LTCI - Laboratoire Traitement et Communication de l'Information
Abstract :

We study the complexity of query answering using views in a probabilistic XML setting, identifying large classes of XPath queries -- with child and descendant navigation and predicates -- for which there are efficient (\ptime) algorithms. We consider this problem under the two possible semantics for XML query results: with persistent node identifiers and in their absence. Accordingly, we consider rewritings that can exploit a single view, by means of compensation, and rewritings that can use multiple views, by means of intersection. Since in a probabilistic setting queries return answers with probabilities, the problem of rewriting goes beyond the classic one of retrieving XML answers from views. For both semantics of XML queries, we show that, even when XML answers can be retrieved from views, their probabilities may not be computable.

For rewritings that use only compensation, we describe a \ptime decision procedure, based on easily verifiable criteria that distinguish between the feasible cases -- when probabilistic XML results are computable -- and the unfeasible ones. For rewritings that can use multiple views, with compensation and intersection, we identify the most permissive conditions that make probabilistic rewriting feasible, and we describe a sound and complete algorithm, which runs in \ptime modulo worst-case exponential time equivalence tests. This is the best we can hope for since intersection makes query equivalence intractable already over deterministic data. Our algorithm runs in \ptime whenever deterministic rewritings can be found in \ptime.

Complete list of metadatas

https://hal.telecom-paristech.fr/hal-02286312
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 3:36:01 PM
Last modification on : Thursday, October 17, 2019 - 12:36:59 PM

Identifiers

  • HAL Id : hal-02286312, version 1

Collections

Citation

Bogdan Cautis, Evgeny Kharlamov. Answering Queries using Views over Probabilistic XML: Complexity and Tractability. PVLDB, 2012, 5 (10). ⟨hal-02286312⟩

Share

Metrics

Record views

12