Based on the definition of XFD, the inference rules for XML and logical implication is studied, and a set of inference rules, a path closure algorithm and membership algorithm are presented, an.
在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题，提出了一组推理规则集并证明了推理规则的正确性和完备性，给出了求解路径闭包算法和成员籍算法。
Before access path selection, the DB2 optimizer transforms SQL statements into forms that are semantically identical, such as by using predicate pushdown or predicate transitive closure.
在选择访问路径之前，DB 2优化器将sql语句转换成语意上一致的形式，例如使用谓词下推或谓词传递闭包。
The high fatigue properties were found to be related with higher crack closure stress, rough fracture surface and tortuousity of crack path.
较高的疲劳性能与裂纹尖端闭合应力、断口表面粗糙度以及裂纹扩展路径弯折程度有关。
应用推荐