一种DTD一致性的判定方法

Approach to judge consistency of DTDs

DTD作为一种XML文档结构的模式语言得到了广泛的使用,它描述了相似的XML文档的结构。DTD的一致性是指对于一个给定的DTD,判断是否存在至少有一个XML文档满足DTD。在引入DTD一致性的形式化定义的基础上,分析了引起DTD不一致性的各种因素,提出了DTD一致性的判定方法。

DTD has been widely used as the schema language for XML documents. A DTD describes the structure of a collection of similar XML documents. The consistency of XML DTDs concerns the question that given a DTD D, is there any finite XML document that conforms to D. The notion of the consistency of DTDs was formalized, and a judging method of the consistency for DTDs was given.