Abstract:
XML function dependency, logical implication are the foundation of the further research on XML key and XML normalization theory.In the paper, in order to solve the implication of XML function dependency, a path coding method of DTD is presented, and its characters are analyzed. Coding DTD can test the logical implication problem of XML function dependency in linear time
Key words:
XML; DTD; Logical implication; Coding
摘要： XML 函数依赖、逻辑蕴涵是进一步研究XML 键和XML 规范化理论的基础。为了有效地解决XML 函数依赖的蕴涵问题，该文提出了一种DTD 路径编码机制，对它的性质进行了分析。编码后的DTD 能在线性时间内对XML 函数依赖的逻辑蕴涵问题进行判定。
关键词:
XML；DTD；逻辑蕴涵；编码
HU Xiaoming, JIANG Xueying, CHEN Ziyang, LIU Guohua. Research on XFD Based on Path Coding Method of DTD[J]. Computer Engineering, 2006, 32(8): 84-85，88.
胡小明，蒋学英，陈子阳，刘国华. 基于 DTD 路径编码方法的XFD 研究[J]. 计算机工程, 2006, 32(8): 84-85，88.