考题
●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
错
