数据库系统原理精品课件（康辉）ch07.pptVIP

Correctness of 3NF Decomposition (Cont’d.) Case 1: If B in ?: If ? is a superkey, the 2nd condition of 3NF is satisfied Otherwise ? must contain some attribute not in ? Since ? ? B is in F+ it must be derivable from Fc, by using attribute closure on ?. Attribute closure not have used ? ??. If it had been used, ? must be contained in the attribute closure of ?, which is not possible, since we assumed ? is not a superkey. Now, using ?? (?- {B}) and ? ? B, we can derive ? ?B (since ? ? ? ?, and B ? ? since ? ? B is non-trivial) Then, B is extraneous in the right-hand side of ? ??; which is not