数据库分解

算法 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 逻辑蕴涵原模式的所有函数依赖，则称此分解保持函数依赖。

任务分解工具中的控件名称和属性值如下：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为座位

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

对于关系数据库规范化理论中的S-L-C表，首先将其分解为三张表：S-L（包括Sno，Sdept，Sloc等字段）、C（包括Cno等字段）、S-C（包括Sno，Cno，Grade等字段）。然后，将依赖于这些主键的属性放置到相应的表中，如在S-L表中加入Sdept和Sloc字段，在C表中保留Cno字段，在S-C表中保留Grade字段。最后，去掉只由主键的子集构成的表，最终实现表的分解为：S-L（包括Sno，Sdept，Sloc字段）、S-C（包括Sno，Cno，Grade字段）。

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

对于非候选码的每个决定因子，删除表中所有依赖于它的属性；创建新表，包含原表中所有依赖于该决定因子的属性；将决定因子设为新表的主码。以S-L分解后的关系模式为例：S-D（Sno, Sdept）和S-L（Sdept, Sloc）。