Armstrong公理系统-软考在线

Armstrong公理系统


知识路径： > 数据库技术 > 关系数据库 > 关系数据库理论 > 函数依赖的公里系统 > Armstrong公理系统 >
被考次数：8次被考频率：中频率总体答错率：49% 知识难度系数：	由软考在线用户真实做题大数据统计生成
相关知识点：4个

Armstrong公理系统（或称函数依赖的公理系统）：设关系模式R（U，F），其中U为属性集，F是U上的一组函数依赖，那么有如下推理规则：

（1）A1自反律：若

，则X→Y为F所蕴涵。

（2）A2增广律：若X→Y为F所蕴涵，且

，则XZ→YZ为F所蕴涵。

（3）A3传递律：若X→Y，Y→Z为F所蕴涵，则X→Z为F所蕴涵。

根据上述三条推理规则又可推出下述三条推理规则：

（1）合并规则：若X→Y，X→Z，则X→YZ为F所蕴涵。

（2）伪传递率：若X→Y，WY→Z，则XW→Z为F所蕴涵。

（3）分解规则：若X→Y，

，则Ⅹ→Z为F所蕴涵。

引理：X→A₁A₂…A_k成立的充分必要的条件是X→A_i成立（i=1，2，3，…，k）。证明略。

本知识点历年真题：

隶属试卷

题号/题型

题干

难度系数/错误率

   2019年上半年
   数据库系统工程..
   上午试卷综合知识

49%

   2018年上半年
   数据库系统工程..
   上午试卷综合知识

36%


	相关知识点：
	最小函数依赖集候选码的求解方法函数依赖的闭包F⁺ Armstrong公理系统

旗下网站群

本网站所有产品设计（包括造型，颜色，图案，观感，文字，产品，内容），功能及其展示形式，均已受版权或产权保护。
任何公司及个人不得以任何方式复制部分或全部，违者将依法追究责任，特此声明。
本站部分内容来自互联网或由会员上传，版权归原作者所有。如有问题，请及时联系我们。

工作时间：9:00-20:00

客服

商务合作

客服邮箱service@rkpass.cn