| XML强闭包依赖的研究 |
| |
| 引用本文： | 殷丽凤,郝忠孝.XML强闭包依赖的研究[J].计算机科学,2008,35(11):195-198. |
| |
| 作者姓名： | 殷丽凤 郝忠孝 |
| |
| 作者单位： | 1. 哈尔滨理工大学计算机科学与技术学院,哈尔滨,150080
2. 哈尔滨理工大学计算机科学与技术学院,哈尔滨,150080;哈尔滨工业大学计算机科学与技术学院,哈尔滨,150001 |
| |
| 基金项目： | 黑龙江省自然科学基金资助(F200702) |
| |
| 摘 要： | XML闭包依赖是基本的完整性约束。当XML文档出现不完全信息时，XML闭包依赖同样对于阻止XML数据的更新异常、查询优化以及索引设计具有重要的意义。提出了在不完全信息环境下基于一致路径集合的XML强函数依赖和XML强闭包依赖的定义，研究了XML强闭包依赖的判定定理。在提出XML强闭包依赖推理规则的基础上，对其有效性和完备性进行了证明。最后分析了XML强闭包依赖和XML强函数依赖的关系。
|
| 关 键 词： | 不完全信息 XML强函数依赖 XML强闭包依赖 推理规则 |
Research on XML Strong Inclusion Dependency |
| |
| YIN Li-feng,HAO Zhong-xiao.Research on XML Strong Inclusion Dependency[J].Computer Science,2008,35(11):195-198. |
| |
| Authors: | YIN Li-feng HAO Zhong-xiao |
| |
| Abstract: | XML inclusion dependency is essential integrity constraints.When XML documents come forth incomplete information,XML inclusion dependency has also important meaning for updating anomaly prevention,query optimization and index design in XML document.XML strong functional dependency'definition and XML strong inclusion dependency' definition based on consistent path set under the incomplete information circumstances were formalized,judging theorem for XML strong inclusion dependency was studied.Based on formal... |
| |
| Keywords: | Incomplete information XML strong functional dependency XML strong inclusion dependency Inference rule |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
