XML函数依赖的定义及分析  

Definition and Analysis of XML Function Dependency

作　　者：赵相国[1] 王国仁[1] 张恩德[1] 丁大斌[1] 霍欢[1] 

机构地区：[1]东北大学信息科学与工程学院,沈阳,110004 东北大学信息科学与工程学院,沈阳,110004 东北大学信息科学与工程学院,沈阳,110004 东北大学信息科学与工程学院,沈阳,110004 东北大学信息科学与工程学院,沈阳,110004

出　　处：《计算机研究与发展》2006年第z3期137-142,共6页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60573089,60473074);高等教育博士点基金项目(20040145016)

摘　　要：函数依赖是XML数据约束研究的重要组成部分.针对XML中存在的复杂的多种形式的函数依赖约束,分析了数据约束的特点,引入节点值相等的概念,提出了一种DTD的路径语言,进而提出了一种新的XML函数依赖(XFD)的定义,包括相对XFD和绝对XFD.其中,绝对键和相对键是XFD的特例.研究了XFD的逻辑蕴涵与闭包问题,给出一组相应的推理规则,并证明了推理规则的正确性及完备性.

关 键 词：XML 函数依赖 路径语言 推理规则 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]