数据库分解

算法 5.2、5.3、5.4、5.5、5.6 介绍了用于将数据库分解为多个子数据库的算法，以满足特定范式（如 3NF、BCNF、4NF）并保持无损连接性和函数依赖关系。

在数据库课件中，我们详细解析了分解算法。包括了t算法5.2，用于判断一个分解的无损连接性；t算法5.3（合成法），用于转换为3NF并保持函数依赖的分解；t算法5.4，实现既有无损连接性又保持函数依赖的3NF分解；t算法5.5，转换为BCNF的无损连接分解（分解法）；以及t算法5.6，实现具有无损连接性的4NF分解。详细内容见P196图5.11。

描述数据单位的不可再分解，包括：t名称t描述t数据类型t长度(精度)t取值范围及缺省值t计量单位。

模式分解保持函数依赖是指将关系模式 R 分解为 R1、R2、...、Rn 时，原模式的函数依赖关系在分解后的某个关系模式中也能被保持。具体而言，若分解后每个关系模式 Ri 的函数依赖集合 Fi 逻辑蕴涵原模式的所有函数依赖，则称此分解保持函数依赖。

关系模式R的分解ρ={ R1，R2， …，Rn}若R与R1、R2、…、Rn自然连接的结果相等，则称关系模式R的这个分解ρ具有无损连接性。具有无损连接性的分解保证不丢失信息，尽管无损连接性不能完全解决插入异常、删除异常、修改复杂、数据冗余等问题。

数据库规范化的分解方法是首先，针对构成主码的属性集合的每一个子集，创建一个新表。然后，将依赖于这些主码的属性放置到相应的表中。最后，移除只包含主码子集的表。

关系数据库模式分解的目标之一是保持依赖关系。对于给定的关系模式 R(U) 及其函数依赖集 F，如果 R1(U1), R2(U2), ..., Rn(Un) 是 R(U) 的分解，那么 F 在 Ri 上的投影 Fi 被定义为 F 的闭包 F+ 中所有属性仅包含在 Ri 中的函数依赖的集合。换句话说，如果 α→β 属于 Fi，则 α 和 β 的所有属性都必须在 Ri 中。 如果关系模式 R(U) 的分解 R1(U1), R2(U2), ..., Rn(Un) 满足 (F1∪F2∪…∪Fn)+ = F+，则称该分解为保持依赖分解。

任务分解工具中的控件名称和属性值如下：Form frmFlight，Text为航班详细信息；Button butAdd，Text为添加(&A)；butModify，Text为修改(&M)；butDelete，Text为删除(&D)；butCancel，Text为取消(&C)；Label lblFlightNo，Text为航班号：；lblAirline，Text为航空公司：；lblDestination，Text为终到站：；lblSource，Text为始发站：；lblDeparture，Text为起飞：；lblArrival，Text为到达：；ComboBox cboSeats，Text为座位数量：。

关于关系模式分解的标准，有三种等价的定义：1. 分解应具有无损连接性；2. 分解需保持函数依赖；3. 分解须同时保持函数依赖和无损连接性。这些标准在数据库安全实验中具有重要意义。

关系模式分解的标准有三种等价的定义：1. 分解需保持无损连接性；2. 分解需保留所有函数依赖；3. 分解需同时保持函数依赖和无损连接性。