Armstrong公理系统_若有x→y,x→z,则x→yz。-程序员宅基地

技术标签：软考知识点记录

Armstrong公理的推论

合并规则：若X→Y，X→Z同时在R上成立，则X→YZ在R上也成立。
分解规则：若X→W在R上成立，且属性集Z包含于W，则X→Z在R上也成立。
伪传递规则：若X→Y在R上成立，且WY→Z，则XW→Z。

函数依赖的公理系统

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

A1自反律：若Y⊆X⊆U，则X→Y为F所蕴含；
A2增广律：若X→Y为F所蕴含，且Z⊆U，则XZ→YZ为F所蕴含；
A3传递律：若X→Y，Y→Z为F所蕴含，则X→Z为F所蕴含。

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

合并规则：若X→Y，X→Z，则X→YZ为F所蕴含；
伪传递规则：若X→Y，WY→Z，则XW→Z为F所蕴含；
分解规则：若X→Y，Z⊆Y，则X→Z为F所蕴含。

引理：X→A1A2…Ak成立的充分必要条件是X→Ai成立(i=1,2,…,k)。

二、Armstrong公理系统的证明

A1自反律：若Y X U，则X→Y为F所蕴含
证明1
设Y⊆X⊆U。
对R<U,F>的任一关系r中的任意两个元组t,s：
若t[X]=s[X]，由于Y X，则有t[Y]=s[Y]，所以X→Y成立，自反律得证。
A2增广律：若X→Y为F所蕴含，且Z U，则XZ→YZ为F所蕴含
证明2
设X→Y为F所蕴含，且Z⊆U。
对R<U,F>的任一关系r中的任意两个元组t,s：
若t[XZ]=s[XZ]，由于X ⊆XZ，Z⊆ XZ，根据自反律，则有t[X]=s[X]和t[Z]=s[Z]；
由于X→Y，于是t[Y]=s[Y]，所以t[YZ]=s[YZ]；所以XZ→YZ成立，增广律得证。
A3传递律：若X→Y，Y→Z为F所蕴含，则X→Z为F所蕴含
证明3
设X→Y及Y→Z为F所蕴含。
对R<U,F>的任一关系r中的任意两个元组t,s：
若t[X]=s[X]，由于X→Y，有t[Y]=s[Y]；
再由于Y→Z，有t[Z]=s[Z]，所以X→Z为F所蕴含，传递律得证。
合并规则：若X→Y，X→Z，则X→YZ为F所蕴含
证明4
因X→Y ，所以X→XY （增广律 XX→XY即X→XY）
因X→Z ，所以XY→YZ （增广律）
因X→XY，XY→YZ
故X→YZ （传递律）
伪传递规则：若X→Y，WY→Z，则XW→Z为F所蕴含
证明5
因X→Y ，所以WX→WY （增广律）
因WY→Z ，所以XW→Z （传递律）
分解规则：若X→Y，Z∈Y，则X→Z为F所蕴含
证明6
因Z∈Y 　所以Y→Z （自反律）
因X→Y 所以X→Z （传递律）

闭包及其计算

定义1：设F是关系模型R的一个函数依赖集，X,Y是R的属性子集，如果从F中的函数依赖能够推出X→Y，则称F[1]X→Y。
定义2：被F逻辑蕴涵的函数依赖的全体构成的集合，称为F的闭包，记作F+。
定义3：设F是属性集U上的一组函数依赖，则属性集X关于F的闭包X+F定义为X+F={A|A∈U且X→A可由F经Armstrong公理导出}，即X+F={A|X→A∈F+}。
定理1：设关系模型R(U)，F为其函数依赖集，X，Y为U的真子集，则从F推出X→Y的充要条件是Y是X+F的真子集。

本文链接：https://blog.csdn.net/lishanleilixin/article/details/89961833

原作者删帖不实内容删帖广告或垃圾文章投诉

智能推荐

Java系列-集合框架理解_java框架理解思路-程序员宅基地

文章浏览阅读2.6k次，点赞7次，收藏9次。关于java集合框架的理解_java框架理解思路

数组内置函数 findIndex() 的用法＞查找数组中满足指定条件的元素的索引_封装函数,查找元素在数组中的索引。如果找到该元素(第一个元素即可),则返回该元-程序员宅基地

文章浏览阅读633次，点赞9次，收藏6次。是 JavaScript 数组的一个内置方法，用。于查找数组中满足指定条件的元素的索引。第一个满足条件的元素的索引。_封装函数,查找元素在数组中的索引。如果找到该元素(第一个元素即可),则返回该元

25.hadoop系列之Yarn Tool接口实现动态传参_yarn脚本后缀传值-程序员宅基地

文章浏览阅读139次。当我们通过yarn向集群提交自定义任务时，若传入队列参数会报错此时我们需要Tool工具，进行动态传参控制。_yarn脚本后缀传值

Android Studio查看Android源码_win查看安卓源码-程序员宅基地

文章浏览阅读4.3k次。最近在折腾面试，然后就有些组件的原理需要看源码，之前也弄过，都是用的Source Insight在win10里面搞的，今天试了一下Mac，源码60G，我这个版本是Android 11，目前是最新版的代码。用AS看源码首先要构建项目配置文件，就是ipr和iml工具，用到Android源码里面的idegen工具，但是你用官方的mmm命令方法会报错，说文件格式不对，本来是可以用mmm命令直接生成的，但是Mac的文件系统跟官方要求的有问题，所以就放弃了，有想试试的同学可以执行下面的命令。cd ～/aosp_win查看安卓源码

使用正则表达式判断URL地址是否合法_判断是否是正常链接正则表达式-程序员宅基地

文章浏览阅读1k次。在编程中，我们常常需要对给定的URL地址进行合法性检测。函数来判断URL地址是否合法。该函数接受一个URL地址作为参数，并返回一个布尔值，表示该URL地址是否合法。总之，在Python中使用正则表达式判断URL地址是否合法非常简单，只需要编写一个正则表达式，然后使用。在函数内部，我们使用正则表达式来匹配URL地址的各个部分，并将它们拼接在一起。函数来判断该URL地址是否符合我们定义的正则表达式规则。匹配URL地址的路径部分。在示例代码中，我们将一个合法的URL地址。使用正则表达式判断URL地址是否合法。_判断是否是正常链接正则表达式

写一个基于知识图谱的古诗词问答系统的背景意义，500字-程序员宅基地

文章浏览阅读260次。古诗词是中国文化的重要组成部分，具有悠久的历史和独特的艺术价值。但是，由于其语言难度较高、时代背景和文化背景的复杂性等原因，使得普通读者很难深入理解古诗词的内涵和价值。此时，基于知识图谱的古诗词问答系统应运而生，其背景意义包括以下几个方面：一、促进文化传承古诗词是中华文化的瑰宝，它们承载了丰富的历史文化信息。而传统的古诗词学习方式主要依靠课堂教学和自学，但这种学习方式往往难以满足大众的需求。基..._古诗问答系统

随便推点

GEE入门篇|图像分类（一）：监督分类_gee分类-程序员宅基地

文章浏览阅读1.8k次，点赞31次，收藏28次。GEE入门篇|图像分类（一）：监督分类_gee分类

iOS中的URL Scheme_苹果计算器url scheme-程序员宅基地

文章浏览阅读857次。iOS中的URL Scheme 在iOS的SDK中提供了一个非常有意思的功能，它能将iOS的Application同自定义的URL Schema绑定，同时可以通过URL Scheme在浏览器或者是其他应用中启动这个Application。本文主要介绍如何通过URL Scheme的方式启动应用和参数的传递。对应的源码配置文件为:CFBundleURLTypes_苹果计算器url scheme

Android腾讯直播SDK接入问题解决方案-程序员宅基地

文章浏览阅读335次。下载好Demo解压。1.是按照aar的集成方式。1.1导入aar包到libs里面1.2 add的gradle添加defaultConfig{ndk{abiFilters 'armeabi-v7a', 'armeabi'}}dependencies添加：/腾讯直播compile(name: 'LiteAVSDK_Professional_5.3.6004', ext: 'aar')1.3项目的gra..._android 腾讯直播达到试用版限制liteavsdk_trtc dau reaches the trial edition l

nRF5 SDK for Mesh(一) 介绍和下载源码-程序员宅基地

文章浏览阅读670次。一：　　官网介绍地址：http://www.nordicsemi.com/Products/Bluetooth-low-energy/nRF5-SDK-for-MeshNordic offers a complete solution for the Bluetooth mesh specification with the nRF5 SDK for Mesh and the nRF..._nrf mesh下载

rpm常用命令记录_rpm命令-程序员宅基地

文章浏览阅读1.7k次。linux - rpm _rpm命令

ssm小学生课外知识学习网站+vue-程序员宅基地

文章浏览阅读26次。用户可以在首页访问小学生课外知识学习网站方面信息，首页上面有导航栏，导航栏上面有课外知识，试卷列表，学习资讯，个人中心，后台管理等，点击导航栏课外知识可以看到很多信息，点击某个信息可以查看对应详情信息，用户登录后可以对小学生课外知识学习网站文章信息进行评论操作。管理员可以对课外知识进行添加，查询，修改，删除操作。下图就是课外知识管理页面。管理员可以对知识分类信息进行删除，查询和修改操作。前端技术：JavaScript、VUE.js（2.X）、css3。数据库管理工具：Navicat或sqlyog。