XPath片断的分析与研究

摘要

本文研究了包含孩子轴（/）、后代轴（谓词（〔）〕）和通配符（＊）的一类无模式约束的XPath表达式片断的包含和等价问题.引入了条件同态的概念,提出了一种基于条件同态的包含关系的判定算法,该算法能够正确判定现有的实用算法不能正确处理的一类模式树的包含关系.