论文部分内容阅读
运用键、外键和XML-Data模式篱笆等概念研究了XML-Data模式的一致性问题.XML-Data模式的一致性问题就是判断是否存在一个既满足XML-Data模式又满足完整性约束的XML-Data模式篱笆.提出了XML-Data模式及XML-Data模式篱笆的概念.给出了如何从现有的XML-Data模式构造XML-Data模式篱笆的算法并且证明了XML-Data模式的一致性问题是不可判定的.