Explains Boyce-Codd normal form

K-557 · Knowledge knobit · Activity: Derive the logical data model · Competence: Data modelling

Every determinant is a superkey; why a 3NF entity can still have anomalies.

Can AI do this?

Not tested yet

No AI benchmark covers this knobit yet. New results are announced in the Can AI Do the Job? newsletter.

What it looks like in practice

Expected result: Every determinant is a superkey; why a 3NF entity can still have anomalies

How it is assessed: Finds the BCNF violation in a 3NF entity with overlapping candidate keys

Related knobits

Builds on

• K-556 Explains third normal form

Needed for

• K-511 Recognises a non-superkey determinant in a 3NF entity
• K-558 Explains multivalued dependency and fourth normal form

All 56 knobits of Derive the logical data model.

Source: Normalisation theory and relational design (Codd, Fagin, Date), as used by the stage 5 reference and review checklist