教学课件 数据库原理及应用与实践—基于SQL Server2016（第3版 立体化.新形态）.ppt

*【案例9-11】 设关系模式R的属性集U=(A, B, C, D),函数依赖集F={A→C, C→B, AD→B}。求R的候选键。 解： （1）检查F发现，A、D只出现在函数依赖的左部，所以为L类属性，而F包含了全属性，即不存在N类的属性。 （2）根据求属性闭包的算法，F中A→C，AD→B可以求得(AD)+=ABCD=U，而在AD中不存在一个真子集能决定全属性，故AD为R的候选键。 9.2 函数依赖概述 国家十三五重点规划项目 上海市高校精品课程 *【案例9-12】设关系模式R的属性集U=(A, B, C, D, E, F), F={ A→B, D→B, EF→D, B→D, DA→F }。求R的候选键。 解： （1）检查F发现，A、E只出现在函数依赖的左部，所以为L类属性。C为N类的属性。 （2）根据求属性闭包的算法，F中A→B，B→D，DA→F，可求得（ACE）+ =ABCDEF=U，而在ACE中不存在一个真子集能决定全部属性，故ACE为R的候选键。 9.2 函数依赖概述 国家十三五重点规划项目 上海市高校精品课程 9.2.6 函数依赖推理规则的完备性 推理规则的正确性是指从函数依赖集F，利用推理规则集推出的函数依赖必定在F+中，完备性是指F+中的函数依赖都能从F集使用推理规则集导出。即正确性保证推出的所有函数依赖都正确，完备性则可保证推出所有被蕴含的函数依赖，以保证推导的有效性和可靠性。 9.2 函数依赖概述 国家十三五重点规划项目 上海市高校精品课程 9.2.6 函数依赖推理规则的完备性 定理9-6 函数依赖推理规则{A1，A2，A3}是完备的。 *完备性的证明:不能从F使用推理规则过程推出的函数依赖不在F+中成立。 设F是属性集U上的一个函数依赖集，有一个函数依赖 X→Y不能从F中使用推理规则推出。现在要证明X→Y不在F+中，即X→Y在模式R（U）的某个关系r上不成立。因此可以采用构造r的方法来证明。 （1）证明F中每个FD V→W在r上成立。 由于V有两种情况：VX+，或VX+。若VX+，根据定理9-4有X→V成立。根据已知的V →W和规则A3，可知X→W成立。再根据定理9-4，有WX+，所以VX+和WX+，同时成立，则V→W在r是成立的。若VX+，即V中含有X+以外的属性。此时关系r的元组在V值上不相等，因此V→W也在r上成立。 （2）证明X→Y在关系r上不成立。 因为X→Y不能从F使用推理规则推出，根据定理9-4，可知YX+。在关系r中，可知两元组在X上值相等，在Y上值不相等，因而X→Y在r上不成立。 综合（1）和（2）可知，只要X→Y不能用推理规则推出，则F就不逻辑蕴含X→Y，也就是推理规则是完备的。 9.2 函数依赖概述 国家十三五重点规划项目 上海市高校精品课程 9.2.7 最小函数依赖集 定义9-8 若关系模式R（U）上的两个函数依赖集F和G，有F+=G+，则称F和G是等价的函数依赖集。 定义9-9 设F是属性集U上的函数依赖集，则称X→Y是F中的函数依赖。 *函数依赖中无关属性： （1）若A∈X，且F逻辑蕴含(F-{X→Y}) ∪ {(X-A) →Y}， 则称属性A是X→Y左部的无关属性。 （2）若A∈X，且(F-{X→Y}) ∪ {X→(Y-A)}逻辑蕴含F， 则称属性A是X→Y右部的无关属性。 （3）若X→Y的左右两边的属性都是无关属性， 则函数依赖X→Y称为无关函数依赖。 9.2 函数依赖概述 国家十三五重点规划项目 上海市高校精品课程 3．并发控制措施 为了保持数据库的一致性，必须控制并行操作，最常用的方法是对数据进行封锁。 一般在多用户数据库中采用某些数据封锁以解决并发操作中的数据一致性和完整性问题。封锁是防止存取同一资源的用户之间破坏性干扰的机制，以保证随时都可有多个正在运行的事务，而所有事务都在相互完全隔离的环境中运行。 ? 。 8.5 并发控制和封锁技术 在多用户数据库中，采用的封锁有两种锁：S锁（共享锁，读锁），X锁（排它锁，写锁）? 加S锁后，本事务就只能读取数据而不能修改。其他事务可以加S锁来读取数据，但不能加X锁修改数据。?即：只要数据上有S锁，任何事务都只能再对其加S锁读取，而不能加X锁修改。? 加X锁后，本事务可以读取和修改数据。其他事务不能加任何锁，从而也不能读取和修改数据。?? 事务释放一个封锁后，不再申请其