XML-Data模式的一致性问题(英文)  

On XML-Data Schema Consistency Problem

作　　者：闫萍[1] 吕腾[1] 盛其荣[1] 

机构地区：[1]新疆大学数学与系统科学学院,新疆乌鲁木齐830046

出　　处：《新疆大学学报（自然科学版）》2004年第4期366-369,共4页Journal of Xinjiang University(Natural Science Edition)

基　　金：Supported by Doctor Foundation of Xinjiang University

摘　　要：运用键、外键和 XML-Data模式篱笆等概念研究了 XML-Data模式的一致性问题 .XML-Data模式的一致性问题就是判断是否存在一个既满足 XML-Data模式又满足完整性约束的 XML-Data模式篱笆 .提出了XML-Data模式及 XML-Data模式篱笆的概念 .给出了如何从现有的 XML-Data模式构造 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 一致性问题 完整性约束 算法 判定 模式 证明 概念研究 判断 构造 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论] TP391.9[自动化与计算机技术—计算机科学与技术]