XML强闭包依赖的研究

摘要：

XML闭包依赖是基本的完整性约束.当XML文档出现不完全信息时,XML闭包依赖同样对于阻止XML数据的更新异常、查询优化以及索引设计具有重要的意义.提出了在不完全信息环境下基于一致路径集合的XML强函数依赖和XML强闭包依赖的定义,研究了XML强闭包依赖的判定定理.在提出XML强闭包依赖推理规则的基础上,对其有效性和完备性进行了证明.最后分析了XML强闭包依赖和XML强函数依赖的关系.

关键词：不完全信息、XML强函数依赖、XML强闭包依赖、推理规则

所属期刊栏目：35

分类号：TP3;O17

资助基金：该项目得到黑龙江省自然科学基金资助F200702

在线出版日期：2009-02-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：195-198