Explains domain-key normal form

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

Every constraint follows from keys and domains.

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 constraint follows from keys and domains

How it is assessed: Classifies sample constraints as implied by keys and domains or not, and says how each other one is enforced

Related knobits

Builds on

• K-552 Explains candidate key and prime attribute
• K-562 Explains attribute domains

Needed for

• K-530 Recognises a constraint implied by neither keys nor domains

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