On Injective Embeddings of Tree Patterns
Databases
2012-05-01 v2
Abstract
We study three different kinds of embeddings of tree patterns: weakly-injective, ancestor-preserving, and lca-preserving. While each of them is often referred to as injective embedding, they form a proper hierarchy and their computational properties vary (from P to NP-complete). We present a thorough study of the complexity of the model checking problem i.e., is there an embedding of a given tree pattern in a given tree, and we investigate the impact of various restrictions imposed on the tree pattern: bound on the degree of a node, bound on the height, and type of allowed labels and edges.
Keywords
Cite
@article{arxiv.1204.4948,
title = {On Injective Embeddings of Tree Patterns},
author = {Jakub Michaliszyn and Anca Muscholl and Sławek Staworko and Piotr Wieczorek and Zhilin Wu},
journal= {arXiv preprint arXiv:1204.4948},
year = {2012}
}
Comments
Under conference submission