数据库理论复习：函数依赖与模式分解

"这是一份关于数据库理论的复习资料，主要涵盖了关系模式、函数依赖、关系分解、键的确定、多值依赖、数据库设计等多个方面，适用于上海大学11春季学期的学习者。" 复习资料中涉及到的知识点如下： 1. **函数依赖与闭包**： - 在例1中，通过求解(A,C)的闭包(AC)+，我们需要找出所有由A和C可以直接或间接决定的属性集合。 - 例2展示了如何计算函数依赖集的最小等价集Fmin，这是一个消除冗余依赖的过程，确保每个依赖都是不可再分的。 2. **无损连接性**： - 例3中，判断关系模式R（U,F）的分解ρ是否具有无损连接性，需要检查分解后的模式能否重新组合得到原始模式，且不丢失任何信息。 3. **一对一和一对多联系**： - 在5.5题中，根据一对多和一对一的规定，可以推导出相应的函数依赖，例如A值对应唯一的C值，而B值对应多个D值。 4. **键的确定**： - 5.7题中，针对F=｛A→B，C→B｝，我们需要找出关系模式R的关键码，关键码是能够唯一标识元组的属性集合，可能的候选键可以通过消除依赖关系来找到。 5. **函数依赖闭包和依赖集**： - 5.8题要求计算(BD)+和形如“B→？”的函数依赖，这需要应用 Armstrong 的推理规则来求解。 6. **模式投影**： - 5.11题中，F在AB和AC上的投影是指在不同子模式下，哪些函数依赖仍然有效。 7. **数据库规范化**： - 5.18题涉及到关系模式R的规范化，首先需确定基本函数依赖，然后判断其是否满足第二范式(2NF)和第三范式(3NF)，并进行适当的分解以达到这些范式。 8. **多值依赖和BCNF**： - 多值依赖（MVD）是数据库理论中的重要概念，5.20题中要求根据给定的MVD B, 推断关系模式R应有的元组。 - BCNF（巴斯-科德范式）是更高层次的规范化形式，要求消除依赖于非平凡键的依赖。 9. **数据库设计阶段**： - 概念设计阶段的目标是独立于具体的DBMS，通常采用实体-关系（ER）模型进行设计，包括识别实体、关系和属性，以及定义实体间的联系。 10. **事务处理**： - 事务是数据库操作的基本单元，具有ACID（原子性、一致性、隔离性和持久性）特性。 - 恢复机制保证了数据库的稳定性和一致性，包括检查点、redo和undo操作。 - 并发控制是数据库系统必须面对的问题，封锁技术和两阶段提交等方法用于解决并发操作可能导致的冲突和不一致。 11. **并发操作与调度**： - 事务的调度是并发控制的一部分，旨在确保并发执行的事务序列等价于某种串行执行。 这份复习资料全面覆盖了数据库理论的核心概念，对于理解和掌握数据库设计与管理至关重要。