6.4.4 Boyce-Codd范式