On the Boyce - Codd normal form for relation scheme.