XML强函数依赖的推理规则

摘要：

当XML文档出现不完全信息时,XML函数依赖同样对于XML文档的键、规范化和完整性约束的研究具有重要意义.本文引入不完全信息环境下XML模式树概念对XML强函数依赖进行了形式化定义;研究了XML强函数依赖的判定条件;给出了XML强函数依赖推理规则,并对推理规则的有效性和完备性进行了证明.

关键词：不完全信息、XML模式、XML函数依赖、推理规则

所属期刊栏目：35

分类号：TP3;TH1

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

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

页数：共3页

页码：165-167