机译:用于检查XPath片段是否包含的HCH
Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China;
computer software; query containment; conditioned homomorphism; tree pattern; XML; XPath;
机译:用于检查XPath片段是否包含的HCH
机译:XPath 2.0表达片段中查询包含的复杂性
机译:XPath片段的包含和对等
机译:XPath 2.0的表达片段中查询包含的复杂性
机译:将类型检查与模型检查相结合以进行系统验证
机译:多个完整摘要(MCD)限制片段图的错误检查和图形表示
机译:Xpath 2.0的表达片段中查询包含的复杂性