厦门大学计算机科学系汇总1096.pptVIP

3.2.3 分片操作的正确性 四种分片操作均是建立在关系代数基础上的。一个关系经过选择操作分成若干子关系，子关系间遵守三个内部特征原则。 一个关系经过投影操作划分成若干子关系，它们共享关系的主键属性，且相交属性只允许是主键。这种划分后的内部特征的检查如下： 完整性检查：垂直分片定义中已定义了子关系属性项，并是关系的属性项（∪Ai=U），即不会出现游离的属性项； 重构性检查：将子关系做自然联接则还原成关系； 不相交性检查：对于垂直分片是允许在键属性上相交。 一个关系的混合分片的检查，实际上是重复上述两种分片的检查。两个关系间的诱导分片的检查，主要是对半联接作的检查，半联接操作是一种基于关系基本操作的导出操作（选择、投影、联接的复合操作）。 3.2.3 分片操作的正确性 例1：检查Supplier被水平划分成Supplier1和Supplier2两个子关系的分片正确性。 完整性检查：选择操作包括了所有 SCITY值，即不出现游离的元组项； 重构性检查：将两个子关系做并操作还原为原来的Suppler关系； 不相交性检查：选择操作的两个谓词为： Q1：SCITY=‘London’， Q2：SCITY=‘Paris’， 它们