1、Due to complicacy of DTD, it is difficult to study the logical implication of XFD.
由于DTD的復(fù)雜性，使得XFD的邏輯蘊(yùn)涵問題研究比較困難。

2、Coding DTD can test the logical implication problem of XML function dependency in linear time.
編碼后的DTD能在線性時(shí)間內(nèi)對XML函數(shù)依賴的邏輯蘊(yùn)涵問題進(jìn)行判定。

3、Research on logical implication for XML based on DTD path coding
基于DTD路徑編碼的XML邏輯蘊(yùn)涵問題研究