摘要
函数依赖是XML数据约束研究的重要组成部分.针对XML中存在的复杂的多种形式的函数依赖约束,分析了数据约束的特点,引入节点值相等的概念,提出了一种DTD的路径语言,进而提出了一种新的XML函数依赖(XFD)的定义,包括相对XFD和绝对XFD.其中,绝对键和相对键是XFD的特例.研究了XFD的逻辑蕴涵与闭包问题,给出一组相应的推理规则,并证明了推理规则的正确性及完备性.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2006年第z3期137-142,共6页
Journal of Computer Research and Development
基金
国家自然科学基金项目(60573089,60473074)
高等教育博士点基金项目(20040145016)