| XML上的函数依赖推理 |
| |
| 引用本文： | 谈子敬,庞引明,施伯乐.XML上的函数依赖推理[J].软件学报,2003,14(9):1564-1570. |
| |
| 作者姓名： | 谈子敬 庞引明 施伯乐 |
| |
| 作者单位： | 复旦大学,计算机与信息技术系,上海,200433 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant No.69933010 (国家自然科学基金) |
| |
| 摘 要： | 函数依赖是数据语义的重要组成部分,这一概念被引入到XML的领域中.基于DTD,XML的树模型和路径表达式,对节点的值相等和路径节点集作了定义.在此基础上,研究了XML中函数依赖、逻辑蕴涵和路径闭包的概念,证明了函数依赖在给定DTD上的可满足性.提出了一个XML上函数依赖的正确和完备的推理规则集,并给出了一个用于计算路径闭包的算法.
|
| 关 键 词： | 函数依赖 可扩展标记语言 逻辑蕴涵 推理规则 |
| 文章编号： | 1000-9825/2003/14(09)1564 |
| 收稿时间： | 2002/5/16 0:00:00 |
| 修稿时间： | 2002年5月16日 |
Reasoning about Functional Dependency for XML |
| |
| TAN Zi-Jing,PANG Yin-Ming and SHI Bai-Le.Reasoning about Functional Dependency for XML[J].Journal of Software,2003,14(9):1564-1570. |
| |
| Authors: | TAN Zi-Jing PANG Yin-Ming and 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. |
| |
| Keywords: | functional dependency XML logical implication inference rule |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
