我们将半结构化数据视为多根边标记有向图，并在这些图上考虑路径包含约束。在路径包含约束pnot之前，如果正则查询p到达的任何节点也被正则查询q到达，则半结构化数据满足equalsq。本文主要研究两个问题：蕴涵问题和有限精确模型的存在性问题我们给出了一个新的决策算法来解决约束pnot preced，equalsq by a set of bounded path constraints pinot preceds，equalsui其中p、q和pi是正则路径表达式，ui是单词，改进了s.Abiteboul和V.Vianu以及N的更通用的算法。Alechina等人。在一组单词等式ui≡vi的情况下，我们为单词等式u≡v的蕴涵提供了一个更有效的判定算法，改进了P.Buneman等人更通用的算法。我们证明了在这种情况下，非确定性模型的蕴涵等价于（完全）的蕴涵确定性我们引入了精确模型的概念：一组路径约束的精确模型单击以查看MathML源满足前面的约束pnot，equalsq当且仅当此约束由单击暗示以查看Math ML源时。我们证明了任何约束集都有一个精确模型，并给出了数据的一个可判定特征，这些数据是有界路径包含约束集的精确模型。