| 摘要: |
| 函数依赖是数据语义的重要组成部分,这一概念被引入到XML的领域中.基于DTD,XML的树模型和路径表达式,对节点的值相等和路径节点集作了定义.在此基础上,研究了XML中函数依赖、逻辑蕴涵和路径闭包的概念,证明了函数依赖在给定DTD上的可满足性.提出了一个XML上函数依赖的正确和完备的推理规则集,并给出了一个用于计算路径闭包的算法. |
| 关键词: 函数依赖 可扩展标记语言 逻辑蕴涵 推理规则 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant No.69933010 (国家自然科学基金) |
|
| Reasoning about Functional Dependency for XML |
|
TAN Zi-Jing,PANG Yin-Ming,SHI Bai-Le
|
| Abstract: |
| XML is extended with functional dependencies, which are fundamental to semantic specification. Based on DTD, tree model for XML and path expressions, definitions for node value equality and node set are given. The definition for functional dependency, logical implication and path closure are studied; the satisfiability of functional dependency in a given DTD is proved. A sound and complete set of inference rules is presented, and an algorithm to calculate closure for XML paths is proved. |
| Key words: functional dependency XML logical implication inference rule |
