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.
较高的疲劳性能与裂纹尖端闭合应力、断口表面粗糙度以及裂纹扩展路径弯折程度有关。
By using the path implication closure as a tool, the algorithm cannot only effectively eliminate redundant nodes or predicates, but also identify invalid path expressions.
该算法以路径蕴涵闭包为工具,不仅可以删除路径表达式的冗余,还可以识别无效路径表达式。
Algorithms of simplifying right path, the closure set of left path, and normalization cover are proposed.
提出右部路径单一化、左部路径集闭包和规范覆盖的算法。
Algorithms of simplifying right path, the closure set of left path, and normalization cover are proposed.
提出右部路径单一化、左部路径集闭包和规范覆盖的算法。
应用推荐