Research on logical implication for XML based on DTD path coding

• 基于DTD路径编码的XML逻辑蕴涵问题研究