| XML局部函数依赖 |
| |
| 引用本文： | 邱长春,王德柱.XML局部函数依赖[J].培训与研究,2007,24(8):5-7. |
| |
| 作者姓名： | 邱长春 王德柱 |
| |
| 作者单位： | 湖北第二师范学院计算机科学与工程系 武汉430205(邱长春)，湖北省麻城实验学校 湖北麻城431600(王德柱) |
| |
| 摘 要： | 函数依赖和键是XML文档中的一种重要的语义表达,是XML模式设计的基础。文章提出了基于DTD路径的XML局部函数依赖的概念,它表达了"函数依赖在一个XML文档树的子树中是成立的,而在整个XML文档树中不成立"语义要求,给出了XML局部函数依赖一套推理规则集,并证明推理规则的正确性。
|
| 关 键 词： | 伙伴 局部函数依赖 推理规则 |
| 文章编号： | 1007-1687（2007）08-0005-03 |
| 修稿时间： | 2007-05-28 |
Local Functional Dependencies for XML |
| |
| QIU Chang-chun,WANG De-zhu.Local Functional Dependencies for XML[J].Training and Research-Journal of Hubei College of Education,2007,24(8):5-7. |
| |
| Authors: | QIU Chang-chun WANG De-zhu |
| |
| Institution: | Department of Computer Science and Engineering, Hubei University of Education, Wuhan 430205, China |
| |
| Abstract: | In this paper,a concept of local functional dependencies for XML based on DTD path expressions is proposed.The advantage of this definition is that it can express the semantic that a functional dependency hold in a sub tree but not in the whole tree.And finally,a group of inference rules about XML local functional dependencies is given,and is proved correctly. |
| |
| Keywords: | XML |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
