1) predicate variable
谓词变项
2) change predicate
变化谓词
3) minterm predicates
最小项谓词
1.
A method is proposed for selecting and efficiently horizontally partitioning warehouse cube views based on the minterm predicates of selection predicates in OLAP queries.
提出了根据OLAP查询中的选择谓词构造其最小项谓词 ,选择数据仓库立方体视图进行水平分割 ,利用视图分割后的裂片建立的数据集市来回答查询 ,达到减少访问的视图元组数和加快查询响应时间 ,从而提高OLAP查询效率 ,削减维护费
5) predicate/transition net
谓词/变迁网
6) predicate-invariance
谓词不变性
1.
In this paper, state feedback of predicate-invariance is introduced to make robot adapt the dynamic environment and overcome the shortcoming of “moveing and waiting”.
对此本文首次提出了利用基于谓词不变性的状态反馈控制来对原有的方法进行改进 ,使机器人能够对动态环境具有适应
补充资料：谓词
分子式：
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条