XML多值依赖的推理规则集问题是解决XML数据依赖的蕴涵问题的基础,是XML规范化理论的关键问题之一。
The problem of inference rules for multivalued dependency is the key to solve implication problem between dependencies in XML and the key problem of XML normalization theory.
第二个层面,分析传闻证据的形成过程,探究传闻证据的内在属性、类别、传闻证据规则的内容以及其中蕴涵的法律理念。
The second level, will analyze the formation process of the hearsay evidence , probe into the inside attribute, category, the contents of the hearsay evidence rule and law principle in them .
传统的关联规则是形如a B反映正项目之间关联关系的蕴涵式,它无法反映出数据之间隐藏的负关联关系。
The traditional association rule is an expression as a Bwhich reflects the relation among positive items. But which can't reflect the negative association hidden in data.
我们还通过直接设置限定信息流蕴涵算子及其树图规则构造出限定信息流蕴涵逻辑。
Constrained IF implication logic is also constructed by directly setting up a constrained IF implication connective and its tableau rule.
在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题,提出了一组推理规则集并证明了推理规则的正确性和完备性,给出了求解路径闭包算法和成员籍算法。
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的推理规则和逻辑蕴涵问题,提出了一组推理规则集并证明了推理规则的正确性和完备性,给出了求解路径闭包算法和成员籍算法。
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.
应用推荐