下列关于Armstrong公理系统的叙述中，错误的是______。A．Armstrong公理系统有效性是指，从函数依赖集F出发，根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中B．Armstrong公理系统完备性是指，F+中的每一个函数依赖必定可以由F出发，根据Armstrong公理推导出来C．通常把自反律、传递律和增广律统称为Armstrong公理系统D．Armstrong公理系统中的传递律就是传递函数依赖
题目
下列关于Armstrong公理系统的叙述中，错误的是______。
A．Armstrong公理系统有效性是指，从函数依赖集F出发，根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中
B．Armstrong公理系统完备性是指，F+中的每一个函数依赖必定可以由F出发，根据Armstrong公理推导出来
C．通常把自反律、传递律和增广律统称为Armstrong公理系统
D．Armstrong公理系统中的传递律就是传递函数依赖
相似考题
更多“下列关于Armstrong公理系统的叙述中,错误的是______。A.Armstrong公理系统有效性是指,从函数依赖 ”相关问题
-
第1题：
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴含，且 ，则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。
正确答案：
增广律
Armstrong公理系统包括3条推理规则：
-
第2题：
Armstrong公理系统的3条推理规则是自反律、增广律和______。
正确答案：传递律
传递律 解析：Armstrong公理系统包括3条推理规则。设F是属性组U上的一组函数依赖，于是有以下推理规则。①自反律。若Y∈X∈U，则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含，且Z∈U，则XZ→YZ为F所逻辑蕴含。③传递律。若X→Y即Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。 -
第3题：
由Armstrong公理系统中3条基本的推理规则可以得到另外3条推广的、很有用的推理规则，它们是合并规则、分解规则和 ______。
正确答案：伪传递规则
伪传递规则 解析：Armstrong公理系统包括以下3条推理规则。①自反律。若YXU，则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含。③传递律．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。根据以上3条推理规则可以得到以下以下3条有用的规则。①合并规则。由X→Y，X→Z，有X→YZ。②伪传递规则．由X→Y，WY→Z，有XW→Z。③分解规则。由X→Y及ZY，有X→Z。 -
第4题：
设F是属性组U上的一组函数依赖，下列（ ）属于Armstrong公理系统中的基本推理规则。
A）若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含
B）若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
C）若X→Y及WY→Z为F所逻辑蕴含，则XW→Z为F所逻辑蕴含
正确答案：B
Armstrong公理系统中的基本推理规则如下： -
第5题：
设关系模式R (U，F)，其中U为属性集， F是U上的一组函数依赖，那么函数依赖的公理系统（Armstrong公理系统）中的合并规则是指为（ ）为F所蕴涵。
A.若A→B，B→C，则A→CB.若Y⊆X⊆U，则X→Y。C.若A→B，A→C ,则A→BCD.若A→B，C⊆B,则A→C
正确答案：C
-
第6题：
设关系模式R (U，F)，其中U为属性集， F是U上的一组函数依赖，那么函数依赖的公理系统 (Armstrong公理系统)中的合并规则是指为（ ）为F所蕴涵。
A. 若A→B，B→C，则A→C
B. 若Y?X?U，则X→Y
C. 若A→B，B→C ,则A→BC
D. 若A→B，C?B,则A-+C
答案：C解析： -
第7题：
Armstrong公理系统最基本的三个推理规则是：（）。
正确答案:自反律、增广律、传递律 -
第8题：
公理化方法的发展大致经历了这样三个阶段（），用它们建构起来的理论体系典范分别对应的是《几何原本》、《几何基础》和ZFC公理系统。
- A、实质公理化阶段、纯形式公理化阶段和形式公理化阶段
- B、形式公理化阶段、实质公理化阶段和纯形式公理化阶段
- C、实质公理化阶段、形式公理化阶段和纯形式公理化阶段
- D、纯形式公理化阶段、形式公理化阶段和实质公理化阶段
正确答案:C -
第9题：
什么是公理化方法？公理化系统遵循的基本原则是什么？
正确答案: 公理化方法：从一些基本的概念和公理出发，利用纯逻辑推理的方法，把一门学科建立成演绎系统的方法。 -
第10题：
单选题哥德尔发表在《数学物理期刊》上的论文，提出了（）。A公理系统不具有独立性
B公理系统不具有相容性
C公理化方法的局限性
D公理化方法的优势
正确答案： D解析： 暂无解析 -
第11题：
填空题Armstrong公理系统中的增广律的含义是：设R是一个关系模式，X，Y是U中属性组，若X→Y为F所逻辑蕴含，且ZÍU，则（）为F所逻辑蕴含。正确答案： x->z解析： 暂无解析 -
第12题：
填空题Armstrong公理系统的三条推理规则是自反律、增广律和（）正确答案： 传递律解析： 暂无解析 -
第13题：
Armstrong公理系统中的增广律的含义是:设RArmstrong公理系统中的增广律的含义是：设R＜U，F＞，是一个关系模式，X，Y是U中属性组，若x→Y为F所逻辑蕴含，且Z∈U，则【 】为F所逻辑蕴含。
正确答案：XZ→YZ
XZ→YZ 解析：根据Armstrong公理系统中的A2增广律可知答案为XZ→YZ。 -
第14题：
下列关于函数依赖的叙述中，( )是Armstrong公理系统中的推理规则。
A．若Y→X， 则X→Y
B．若X→Y，WY→Z， 则XW→Z
C．若XY→Z， 则X→Z，Y→Z
D．若X→YZ， 则X→Y，X→Z
正确答案：B
解析：Armstrong公理系统包括以下3条推理规则：①自反律。若YXU，则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含。③传递律。若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。根据以上3条推理规则可以得到以下3条有用的规则：①合并规则。由X→Y，X→Z，有X→YZ。②伪传递规则。由X→Y，WY→Z，有XW→Z。③分解规则。由X→Y及ZY，有X→Z。对照以上6条来看，可以知道选项B)说的是其中的伪传递规则。 -
第15题：
下面关于函数依赖的叙述中，（ ）是Armstrong公理系统中的推理规则。
正确答案：B
Armstrong公理系统包括三条推理规则： -
第16题：
设关系模式R设关系模式R＜U，F＞，其中U为属性集，F是U上的一组函数依赖，那么Armstrong公理系统的伪传递律是指（）。
A.若X→Y，Y→Z为F所蕴涵，则X→Z为F所蕴涵
B.若X→Y，X→Z，则X→YZ为F所蕴涵
C.若X→Y，WY→Z，则XW→Z为F所蕴涵
D.若X→Y为F所蕴涵，且Z?U，则XZ→YZ为F所蕴涵
正确答案：C
-
第17题：
设关系模式R (U，F)，其中U为属性集， F是U上的一组函数依赖，那么函数依赖的公理系统(Armstrong公理系统)中的合并规则是指为（ ）为F所蕴涵。
答案：C解析： -
第18题：
给定关系模式 R
答案：D解析：从已知的一些函数依赖，可以推导出另外一些函数依赖，这就需要一系列推理规则。函数依赖的推理规则最早出现在1974年W.W.Armstrong 的论文里，这些规则常被称作“Armstrong 公理”设U 是关系模式R 的属性集，F 是R 上成立的只涉及U 中属性的函数依赖集。函数依赖的推理规则有以下三条：自反律：若属性集Y 包含于属性集X，属性集X 包含于U，则X→Y 在R 上成立。(此处X→Y是平凡函数依赖)增广律：若X→Y 在R 上成立，且属性集Z 包含于属性集U，则XZ→YZ 在R 上成立。传递律：若X→Y 和 Y→Z在R 上成立，则X →Z 在R 上成立。其他的所有函数依赖的推理规则可以使用这三条规则推导出。 -
第19题：
公理系统
正确答案:借公理方法，即依据一些最基本的初始命题（不证自明的公理）按照演绎推理的规则而推导一系列定理、命题所建构的完整的演绎体系，如欧几里得几何学。 -
第20题：
在公理化设计中，“独立性公理”也称为，其含义是（）
- A、简化公理，信息含量最少
- B、模块化公理，最大限度地减少各功能要求间的“耦合”
- C、简化公理，避免设计参数间的交互作用
- D、模块化公理，实现各子系统并行设计
正确答案:B -
第21题：
哥德尔发表在《数学物理期刊》上的论文，提出了（）。
- A、公理系统不具有独立性
- B、公理系统不具有相容性
- C、公理化方法的局限性
- D、公理化方法的优势
正确答案:C -
第22题：
单选题在公理化设计中，“独立性公理”也称为，其含义是（）A简化公理，信息含量最少
B模块化公理，最大限度地减少各功能要求间的“耦合”
C简化公理，避免设计参数间的交互作用
D模块化公理，实现各子系统并行设计
正确答案： A解析： 暂无解析 -
第23题：
问答题什么是公理化方法？公理化系统遵循的基本原则是什么？正确答案： 公理化方法：从一些基本的概念和公理出发，利用纯逻辑推理的方法，把一门学科建立成演绎系统的方法。解析： 暂无解析