摘要：函数依赖作为数据库规范化的基础在关系理论中起着重要的作用.近年来,XML得到广泛应用并已成为互联网上数据传输和交换的标准.由于XML半结构化的特性,使得如何定义XML函数依赖使其具有更强的描述能力,以及如何解决相应的逻辑蕴涵问题成为当今学术界所面临的挑战.针对这些问题,系统地描述了目前关于XML函数依赖的研究现状,特别是把分析的重点放在如何定义函数依赖、判断其蕴涵关系以及从XML文档中发现函数依赖等问题上.最后讨论了诸如类型化函数依赖关系等一些相关的研究方向.

关键词：xml 函数依赖 逻辑蕴涵 依赖发现 

单位：北京工业大学计算机学院 北京100124