1. At present, many Game logical implication of the study in game theory research.

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

3. XML function dependency, logical implication are the foundation of the further research on XML key and XML normalization theory.

4. An analysis and discussion is also made on the conceptual proposition, deductive construction and logical implication.

5. 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.

6. Due to complicacy of DTD, it is difficult to study the logical implication of XFD.