论文部分内容阅读
函数依赖对关系数据库和XML文档都是一种重要的语义表达。文中对XML文档中存在的函数依赖、部分函数依赖和传递函数依赖进行分析,对规范部分函数依赖提出XML第二范式,对规范部分函数依赖和传递函数依赖提出了XML第三范式,给出了相应算法,并进行了无损联接性和函数依赖保持性证明,对可终止性和时间复杂度进行了分析。