Coding DTD can test the logical implication problem of XML function dependency in linear time.

• 编码后的DTD能在线性时间内对XML函数依赖的逻辑蕴涵问题进行判定。