| Functional Dependencies and Its Axiom System in XML |
| |
| 引用本文： | ZHAO Xiangguo WANG Guoren HOU Huan DING Dabin. Functional Dependencies and Its Axiom System in XML[J]. 武汉大学学报:自然科学英文版, 2007, 12(5): 845-849. DOI: 10.1007/s11859-007-0023-y |
| |
| 作者姓名： | ZHAO Xiangguo WANG Guoren HOU Huan DING Dabin |
| |
| 作者单位： | College of Information Science and Engineering, Northeastern University, Shenyang 110004, Liaoning, China |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China （60573089）, the National High Technology Research and Development Program of China （2006AA09Z139） |
| |
| 摘 要： | According to the analysis of existing complicated functional dependencies constraint, we conclude the conditions of defining functional dependency in XML, and then we introduce the concept of the node value equality. A new path language and a new definition of functional dependencies in XML （XFD） are proposed XFD includes the relative XFD and the absolute XFD, in which absolute key and relative key are the particular cases. We focus on the logical implication and the closure problems, and propose a group of inference rules. Finally, some proofs of the correctness and completeness are given. XFD is powerful on expressing functional dependencies in XML causing data redundancy, and has a complete axiom system.
|
| 关 键 词： | XML 数据库 函数依存 路径语言 |
| 文章编号： | 1007-1202（2007）05-0845-05 |
| 收稿时间： | 2007-01-28 |
| 修稿时间： | 2007-01-28 |
Functional dependencies and its axiom system in XML |
| |
| Zhao Xiangguo,Wang Guoren,Hou Huan,Ding Dabin. Functional dependencies and its axiom system in XML[J]. Wuhan University Journal of Natural Sciences, 2007, 12(5): 845-849. DOI: 10.1007/s11859-007-0023-y |
| |
| Authors: | Zhao Xiangguo Wang Guoren Hou Huan Ding Dabin |
| |
| Affiliation: | (1) College of Information Science and Engineering, Northeastern University, Shenyang, 110004, Liaoning, China |
| |
| Abstract: | According to the analysis of existing complicated functional dependencies constraint, we conclude the conditions of defining functional dependency in XML, and then we introduce the concept of the node value equality. A new path language and a new definition of functional dependencies in XML (XFD) are proposed. XFD includes the relative XFD and the absolute XFD, in which absolute key and relative key are the particular cases. We focus on the logical implication and the closure problems, and propose a group of inference rules. Finally, some proofs of the correctness and completeness are given. XFD is powerful on expressing functional dependencies in XML causing data redundancy, and has a complete axiom system. Biography: ZHAO Xiangguo(1973–), male, Lecturer, Ph. D., research direction: XML data management |
| |
| Keywords: | XML functional dependencies path language inference rule |
| 本文献已被 维普 SpringerLink 等数据库收录！ |
