- 1、本文档共88页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
在关系模式R(U)中,对于U的子集X和Y, 如果X→Y,但Y ? X,则称X→Y是非平凡的函数依赖 若X→Y,但Y ? X, 则称X→Y是平凡的函数依赖 例:在关系SC(Sno, Cno, Grade)中, (Sno, Cno) → Grade (Sno, Cno) → Sno (Sno, Cno) → Cno 6.2 规范化 ? 6.2.1 函数依赖 非平凡函数依赖: 平凡函数依赖: 定义6.2 在R(U)中,如果X→Y,并且对于X的任何一个真子集X’,都有X’ Y, 则称Y对X完全函数依赖,记作 X F Y。 若X→Y,但Y不完全函数依赖于X,则称Y对X部分函数依赖,记作X P Y。 6.2 规范化 ? 6.2.1 函数依赖 [例1] 中(Sno,Cno)→Grade是完全函数依赖, (Sno,Cno)→Sdept是部分函数依赖 因为Sno →Sdept成立,且Sno是(Sno,Cno)的真子集 定义6.3 在R(U)中,如果X→Y,(Y ?X) ,Y→X Y→Z, 则称Z对X传递函数依赖。 记为:X → Z 注: 如果Y→X, 即X←→Y,则Z直接依赖于X。 例: 在关系Std(Sno, Sdept, Mname)中,有: Sno → Sdept,Sdept → Mname 且Sdept →Sno, 则Mname传递函数依赖于Sno 传递 6.2 规范化 ? 6.2.1 函数依赖 第六章 关系数据库理论 判定一个关系模式是几范式的方法 确定关系的主码 根据语义或关系中的值写出几个函数依赖 写出其它非主属性对主码的函数依赖 判定是否有部分/传递函数依赖 第十章 数据库恢复系统 什么是事务? 事务的四个特性:原子性、一致性、隔离性、持久性 原子性:事务中包含的诸操作要么都做,要么都不做 一致性:事务执行结果必须是使数据库从一个一致性状态变到另一个一致性状态 隔离性:一个事务内部的操作及使用的数据对其他并发事务是隔离的 持久性:一个事务一旦提交,它对数据库中数据的改变就应该是永久性的 事务结束的状态:COMMIT/ROLLBACK 第十章 数据库恢复系统 故障的种类 事务故障:某个事务在运行过程中由于种种原因未运行至正常终止点就夭折了 系统故障: 由于某种原因造成整个系统的正常运行突然停止,致使所有正在运行的事务都以非正常方式终止。 发生系统故障时,内存中数据库缓冲区的信息全部丢失,但存储在外部存储设备上的数据未受影响 介质故障: 由于硬件故障使存储在外存中的数据部分丢失或全部丢失 介质故障比前两类故障的可能性小得多,但破坏性最大。 第十章 数据库恢复系统 系统恢复策略 数据转储 登记日志文件 三种故障的恢复方法 事务故障: 由恢复子系统应利用日志文件撤消(UNDO)此事务已对数据库进行的修改 系统故障: 要撤消故障发生时未完成的事务,重做已完成的事务。 介质故障: 重装数据库,然后重做已完成的事务 第十一章 并发控制 并发操作带来的数据不一致性 丢失修改(lost update) 不可重复读(non-repeatable read) 读“脏”数据(dirty read) 封锁就是事务T在对某个数据对象(例如表、记录等)操作之前,先向系统发出请求,对其加锁。加锁后事务T就对该数据对象有了一定的控制,在事务T释放它的锁之前,其它的事务不能更新此数据对象。 封锁是实现并发控制的一个非常重要的技术 (1)什么是封锁 DBMS通常提供了多种类型的封锁。一个事务对某个数据对象加锁后究竟拥有什么样的控制是由封锁的类型决定的。 基本封锁类型 排它锁(eXclusivelock,简记为X锁) 共享锁(Share lock,简记为S锁) (2)基本封锁类型 排它锁(eXclusive Lock,简记为X锁) 排它锁又称为写锁。 若事务T对数据对象A加上X锁,则只允许T读取和修改A,其它任何事务都不能再对A加任何类型的锁,直到T释放A上的锁。 排它锁保证了其它事务在T释放A上的锁之前不能再读取和修改A。 (2)基本封锁类型 避免活锁的简单方法是采用先来先服务的策略。 当多个事务请求封锁同一数据对象时,封锁子系统按请求封锁的先后次序对这些事务排队,该数据对象上的锁一旦释放,首先批准申请队列中第一个事务获得锁。 活锁的
文档评论(0)