论文部分内容阅读
XML结构完整性约束（XSICs）描述了XML文档中节点或路径之间结构关系，这种约束可以看成是DTDs的扩展和补充．定义了元素排他性包含、必需性包含、路径蕴含、路径同现和路径互斥五种XSICs的语法和语义，研究了如何使用XSICs扩展DTDs，并解决了有DTDs的情况下结构完整性约束的逻辑蕴含问题和一致性问题．