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