数据库安全实验中的关系模式分解标准

关系模式分解的评判标准 关系模式分解的优劣主要通过以下三种等价定义来评判： 无损连接性: 分解后的关系模式能够通过自然连接运算无损地恢复成原来的关系模式，确保数据完整性。 函数依赖保持性: 分解后的关系模式能够完整保留原关系模式中的函数依赖关系，保证数据一致性。 无损连接性与函数依赖保持性兼顾: 理想的分解方案应该同时满足无损连接性和函数依赖保持性，兼顾数据完整性和一致性。

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

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

关系数据库规范化理论中，关系模式的分解是一个重要的课题。以S-D-L（Sno，Dept，Loc）为例，该模式存在函数依赖：Sno → Dept，Dept → Loc，不符合第三范式要求。有三种有效的分解方案可以考虑：方案1：S-L（Sno，Loc），D-L（Dept，Loc）；方案2：S-D（Sno，Dept），S-L（Sno，Loc）；方案3：S-D（Sno，Dept），D-L（Dept，Loc）。这些方案均能使得得到的关系模式符合第三范式的要求。在选择最佳方案时，除了规范化程度外，还需考虑其他因素。

1991年4月，美国国家计算机安全中心（NCSC）发布了《可信计算机系统评估标准关于可信数据库系统的解释》（简称TDI）。TDI，又称紫皮书，扩展了TCSEC标准，专注于数据库管理系统的设计与实现，定义了满足安全性级别评估的标准。

信息安全标准的演变是一个历史长河，而Oracle数据库安全标准在其中扮演了重要角色。随着技术的进步和安全需求的增加，这些标准不断更新和完善，以确保数据库系统的安全性和可靠性。将探讨Oracle数据库安全标准的核心内容和最新发展，为读者提供深入理解和实践指南。

关系数据库模式分解的目标之一是保持依赖关系。对于给定的关系模式 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+，则称该分解为保持依赖分解。

安全标准简介（续）1993年，CTCPEC、FC、TCSEC和ITSEC联合行动，解决原标准中的概念和技术差异，称为CC（Common Criteria）项目。1999年，CC V2.1版被ISO采纳为国际标准，2001年被我国采纳为国家标准。目前，CC已基本取代TCSEC，成为评估信息产品安全性的主要标准。

Armstrong公理系统是一种有效且完备的数据库安全性探索工具：从F出发，依据Armstrong公理推导出的每个函数依赖都可以在F+中找到；而F+中的每个函数依赖，也可以由F根据Armstrong公理推导得出。