XML-Data模式的一致性问题

摘要

This paper has studied the consistency problem for XML-Data schema in terms of XML-Data schema hedge as well as keys and foreign keys. The consistency problem is to check whether there exists an XML-Data schema hedge that both conforms to the schema and satisfies integrity constraints. Definitions of XML-Data schema and XML-Data schema hedge for the purpose of investigating this problem are proposed, moreover, an algorithm for constructing the XML-Data schema hedge from a given XML-Data schema is given. The undecidability of the consistency problem for XML-Data schema is also presented.%运用键、外键和XML-Data模式篱笆等概念研究了XML-Data模式的一致性问题.XML-Data模式的一致性问题就是判断是否存在一个既满足XML-Data模式又满足完整性约束的XML-Data模式篱笆.提出了XML-Data模式及XML-Data模式篱笆的概念.给出了如何从现有的XML-Data模式构造XML-Data模式篱笆的算法并且证明了XML-Data模式的一致性问题是不可判定的.