考题
●SQL的全局约束是指基于元组的检查子句和 (17) 。(17) A.非空值约束B.域约束子句C.断言D.外键子句
考题
SQL的全局约束是指基于元组的检查子句和( )。A.非空值约束B.局部约束C.断言D.外键子句
考题
SQL的全局约束是指基于元组的检查子句和(17)。A.非空值约束B.域约束子句C.断言D.外键子句
考题
SQL的全局约束是指基于元组的检查子句和( )。A.非空值约束B.域约束子句C.断言D.外键子句
考题
基于规则的演绎系统将所有的谓词公式均化简为子句,致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
考题
基于规则的逆向演绎系统是从目标出发,逆向使用规则对目标表达式的与或图进行变换,直到找到一个含有事实节点的一致解图为止。
考题
基于规则的逆向演绎系统的使用条件()A、事实表达式是文字合取形式B、事实表达式是任意形式C、规则形式为:W→L或W→L1∧L2其中L为单文字,W为任意形式。D、目标公式是任意形式
考题
基于规则的正向演绎系统的使用条件()A、事实表达式是任意形式B、规则形式为:L→W或L1∨L2→W,其中L为单文字,W为任意形式C、目标公式为文字析取形D、目标公式是任意形式
考题
对基于规则的正向演绎系统,目标表达式中的"∧"号在与或树中表达为"与"的关系,"∨"号在与或树中表达为"或"的关系。
考题
基于规则的正向演绎系统的的子集形式()A、子句的合取式(合取范式)B、子句的析取式(析取范式)C、文字的析取式D、文字的合取式
考题
基于规则的逆向演绎系统的初始综合数据库是()A、事实表达式的与或树B、目标公式的与或树C、与或树D、证明树
考题
规则演绎系统和产生式系统有哪几种推理方式?各自的特点为何?
考题
基于规则的正向演绎系统的子句形式()A、子句的合取式(合取范式)B、子句的析取式(析取范式)C、文字的析取式D、文字的合取式
考题
SQL基本表的创建中是通过哪个子句实现参照完整性规则的()。A、外键子句B、主键子句C、检查子句
考题
SQL的全局约束是指基于元祖的检查子句和()。A、非空值约束B、域约束子句C、断言D、外键子句
考题
单选题SQL基本表的创建中是通过哪个子句实现参照完整性规则的()。A
外键子句B
主键子句C
检查子句
考题
单选题SQL的全局约束是指基于元组的检查子句和( )。A
非空值约束B
域约束子句C
断言D
外键子句
考题
问答题规则演绎系统和产生式系统有哪几种推理方式?各自的特点为何?
考题
判断题对基于规则的正向演绎系统,目标表达式中的"∧"号在与或树中表达为"与"的关系,"∨"号在与或树中表达为"或"的关系。A
对B
错
考题
判断题基于规则的演绎系统将所有的谓词公式均化简为子句,致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。A
对B
错
考题
单选题基于规则的逆向演绎系统的初始综合数据库是()A
事实表达式的与或树B
目标公式的与或树C
与或树D
证明树
考题
多选题基于规则的正向演绎系统的使用条件()A事实表达式是任意形式B规则形式为:L→W或L1∨L2→W,其中L为单文字,W为任意形式C目标公式为文字析取形D目标公式是任意形式
考题
单选题基于规则的正向演绎系统的的子集形式()A
子句的合取式(合取范式)B
子句的析取式(析取范式)C
文字的析取式D
文字的合取式
考题
多选题基于规则的逆向演绎系统的使用条件()A事实表达式是文字合取形式B事实表达式是任意形式C规则形式为:W→L或W→L1∧L2其中L为单文字,W为任意形式。D目标公式是任意形式
考题
填空题基于规则的演绎系统主要有()、()和()
考题
判断题基于规则的逆向演绎系统是从目标出发,逆向使用规则对目标表达式的与或图进行变换,直到找到一个含有事实节点的一致解图为止。A
对B
错