The Possibility Problem for Probabilistic XML (Extended Version)
Antoine Amarilli

TL;DR
This paper investigates the computational complexity of determining whether a given document can be a possible outcome of a probabilistic XML document, providing a comprehensive classification of tractability boundaries.
Contribution
It offers a detailed complexity analysis of the possibility problem for probabilistic XML models, introducing an explicit matches variant to improve practical applicability.
Findings
Decision problem often tractable without long-distance dependencies
Computation variant is intractable on unordered documents
Explicit matches variant ensures tractability under certain conditions
Abstract
We consider the possibility problem of determining if a document is a possible world of a probabilistic document, in the setting of probabilistic XML. This basic question is a special case of query answering or tree automata evaluation, but it has specific practical uses, such as checking whether an user-provided probabilistic document outcome is possible or sufficiently likely. In this paper, we study the complexity of the possibility problem for probabilistic XML models of varying expressiveness. We show that the decision problem is often tractable in the absence of long-distance dependencies, but that its computation variant is intractable on unordered documents. We also introduce an explicit matches variant to generalize practical situations where node labels are unambiguous; this ensures tractability of the possibility problem, even under long-distance dependencies, provided event…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Database Systems and Queries · Semantic Web and Ontologies · Data Management and Algorithms
