候选键的确定方法-如何判断属性集U的子集K是否为候选键、如何找到关系模式的候选键

2024-06-20 21:20

本文主要是介绍候选键的确定方法-如何判断属性集U的子集K是否为候选键、如何找到关系模式的候选键,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

一、候选键的定义

在关系模式R(U,F)中,若K\subseteq U,且K满足K\overset{f}{\rightarrow}U,则K为关系模式R的候选键

关系模式R的候选键必须满足以下两个条件:

(1)必须是属性集U的子集

(2)完全函数决定属性集U

二、如何判断属性集的子集是否能够完全函数决定属性集,即如何确定属性集的子集是否为候选键

1、方法一:利用Armstrong公理的推理规则

(1)推理规则:

在关系模式R(U,F)中,K\subseteq U利用Armstrong公理中的推导规则已知的函数依赖集F推导

得到如下函数依赖关系,则K为候选键

K\rightarrow U,且不存在K^{'}\subset K,使K^{'}\rightarrow U满足两个条件的函数依赖

(2)举例:

2、方法二:根据属性集闭包的概念

(1)在关系模式R(U,F)中,K\subseteq U,根据属性集闭包的概念,如果K满足下面两个条件,则K为

候选键

条件一:K_{F}^{+}=U

条件二:对于K的任意一个真子集K^{'}(K^{'})_{F}^{+}\neq U

(2)举例:

三、寻找候选键K的方法

1、方法一:遍历属性集U中的所有真子集

(1)遍历属性集U中所有的真子集,求出各真子集关于函数依赖集F的属性集闭包,从求解的结果

中加以判断

(2)若不存在U的任何真子集关于函数依赖集F的属性集闭包为U,则该关系模式的候选键是全键

,即U

(3)利用该方法可以得到关系模式的全部候选键,但当U中属性较多时,计算量较大

(4)举例:

2、方法二:逐一排除U中的冗余属性

(1)采用算法2,来排除K的初值U中的冗余属性,计算剩余属性的属性集闭包,来得到关系模式

某一候选键

(2)如果((K-A)_{F})^{+}的值为U,则A为主属性,要保留,若不为U,则将属性A从K中删除

(3)处理完K中所有的属性A之后,得到的K就是候选键

(4)举例:

不能肯定R中是否只有AD这一个候选键,该算法所得到的结果有时依赖于对U属性进行先后处理的

顺序,即当关系模式中有多个候选键时,由于属性之间的依赖关系,先处理时某属性可能是冗余属

性,后处理时就不是冗余属性了

(5)结论:

该寻找K的方法,属性集闭包的计算量为U中属性个数,较前一种方法有所减少

3、方法三:快速确定K中主属性

(1)根据最小函数依赖集F中属性的类别,利用判定定理,快速确定候选键中的主属性,再对主

属性集计算属性集闭包,得到某一候选键

(2)该方法将U中属性分为四类:

  • L类:出现在函数依赖部的属性
  • R类:出现在函数依赖部的属性
  • LR类:在函数依赖左右两边均出现的属性
  • N类:在函数依赖左右两边均未出现的属性

(3)基于上述四类属性,存在着快速确定某属性是主属性的判定定律

  • 定理1:若X是R的L类属性,则X必为R的属性
  • 定理2:若X是R的R类属性,则X必为R的非主属性
  • 定理3:若X是R的N类属性,则X必为R的属性 

(4)举例:

 若确定的主属性集关于函数依赖集F的属性集闭包也不等于U,则需将在函数依赖两边均出现的LR

类属性分别并上,再进行属性集闭包的计算来得到候选键

四、小结

1、通过求解属性集U的所有真子集关于函数依赖集F的属性集闭包,来确定关系模式的所有候选键

2、根据最小函数依赖集F中属性类别,采用判定定理,快速确定关系模式的一个候选键

3、确定关系模式的候选键后,根据各范式的定义,判断关系模式所满足的范式 ,从而决定是否要

对关系模式进行规范化

这篇关于候选键的确定方法-如何判断属性集U的子集K是否为候选键、如何找到关系模式的候选键的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1079292

相关文章

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象

在JS中的设计模式的单例模式、策略模式、代理模式、原型模式浅讲

1. 单例模式(Singleton Pattern) 确保一个类只有一个实例,并提供一个全局访问点。 示例代码: class Singleton {constructor() {if (Singleton.instance) {return Singleton.instance;}Singleton.instance = this;this.data = [];}addData(value)

浅谈主机加固,六种有效的主机加固方法

在数字化时代,数据的价值不言而喻,但随之而来的安全威胁也日益严峻。从勒索病毒到内部泄露,企业的数据安全面临着前所未有的挑战。为了应对这些挑战,一种全新的主机加固解决方案应运而生。 MCK主机加固解决方案,采用先进的安全容器中间件技术,构建起一套内核级的纵深立体防护体系。这一体系突破了传统安全防护的局限,即使在管理员权限被恶意利用的情况下,也能确保服务器的安全稳定运行。 普适主机加固措施:

webm怎么转换成mp4?这几种方法超多人在用!

webm怎么转换成mp4?WebM作为一种新兴的视频编码格式,近年来逐渐进入大众视野,其背后承载着诸多优势,但同时也伴随着不容忽视的局限性,首要挑战在于其兼容性边界,尽管WebM已广泛适应于众多网站与软件平台,但在特定应用环境或老旧设备上,其兼容难题依旧凸显,为用户体验带来不便,再者,WebM格式的非普适性也体现在编辑流程上,由于它并非行业内的通用标准,编辑过程中可能会遭遇格式不兼容的障碍,导致操

poj 3259 uva 558 Wormholes(bellman最短路负权回路判断)

poj 3259: 题意:John的农场里n块地,m条路连接两块地,w个虫洞,虫洞是一条单向路,不但会把你传送到目的地,而且时间会倒退Ts。 任务是求你会不会在从某块地出发后又回来,看到了离开之前的自己。 判断树中是否存在负权回路就ok了。 bellman代码: #include<stdio.h>const int MaxN = 501;//农场数const int

透彻!驯服大型语言模型(LLMs)的五种方法,及具体方法选择思路

引言 随着时间的发展,大型语言模型不再停留在演示阶段而是逐步面向生产系统的应用,随着人们期望的不断增加,目标也发生了巨大的变化。在短短的几个月的时间里,人们对大模型的认识已经从对其zero-shot能力感到惊讶,转变为考虑改进模型质量、提高模型可用性。 「大语言模型(LLMs)其实就是利用高容量的模型架构(例如Transformer)对海量的、多种多样的数据分布进行建模得到,它包含了大量的先验

【北交大信息所AI-Max2】使用方法

BJTU信息所集群AI_MAX2使用方法 使用的前提是预约到相应的算力卡,拥有登录权限的账号密码,一般为导师组共用一个。 有浏览器、ssh工具就可以。 1.新建集群Terminal 浏览器登陆10.126.62.75 (如果是1集群把75改成66) 交互式开发 执行器选Terminal 密码随便设一个(需记住) 工作空间:私有数据、全部文件 加速器选GeForce_RTX_2080_Ti

滚雪球学Java(87):Java事务处理:JDBC的ACID属性与实战技巧!真有两下子!

咦咦咦,各位小可爱,我是你们的好伙伴——bug菌,今天又来给大家普及Java SE啦,别躲起来啊,听我讲干货还不快点赞,赞多了我就有动力讲得更嗨啦!所以呀,养成先点赞后阅读的好习惯,别被干货淹没了哦~ 🏆本文收录于「滚雪球学Java」专栏,专业攻坚指数级提升,助你一臂之力,带你早日登顶🚀,欢迎大家关注&&收藏!持续更新中,up!up!up!! 环境说明:Windows 10

zoj 1721 判断2条线段(完全)相交

给出起点,终点,与一些障碍线段。 求起点到终点的最短路。 枚举2点的距离,然后最短路。 2点可达条件:没有线段与这2点所构成的线段(完全)相交。 const double eps = 1e-8 ;double add(double x , double y){if(fabs(x+y) < eps*(fabs(x) + fabs(y))) return 0 ;return x + y ;

POJ1269 判断2条直线的位置关系

题目大意:给两个点能够确定一条直线,题目给出两条直线(由4个点确定),要求判断出这两条直线的关系:平行,同线,相交。如果相交还要求出交点坐标。 解题思路: 先判断两条直线p1p2, q1q2是否共线, 如果不是,再判断 直线 是否平行, 如果还不是, 则两直线相交。  判断共线:  p1p2q1 共线 且 p1p2q2 共线 ,共线用叉乘为 0  来判断,  判断 平行:  p1p