Due to complicacy of DTD, it is difficult to study the logical implication of XFD.
由于DTD的复杂性，使得XFD的逻辑蕴涵问题研究比较困难。
Coding DTD can test the logical implication problem of XML function dependency in linear time.
编码后的DTD能在线性时间内对XML函数依赖的逻辑蕴涵问题进行判定。
Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
Connectivity is an important part of discourse analysis. There are many kinds of connectivity, such as grammatical device, lexical cohesion, logical implication and so on.
语篇的联结手段是语篇分析中的一个重要环节。联结的方式多种多样，主要有：语法手段、词汇衔接、逻辑联系语及语用上与语义上的意涵等。
Connectivity is an important part of discourse analysis. There are many kinds of connectivity, such as grammatical device, lexical cohesion, logical implication and so on.
语篇的联结手段是语篇分析中的一个重要环节。联结的方式多种多样，主要有：语法手段、词汇衔接、逻辑联系语及语用上与语义上的意涵等。
应用推荐