Explains the insertion, update and deletion anomalies
The three anomalies and the redundancy that produces them.
Can AI do this?
AI does this well Most of the tested AI models master this. 10 of 10 models master it.
| Model | Tier | Probability of mastery | Status |
|---|---|---|---|
| gemini-4-argon | Flagship | 100% | Mastered |
| gemini-3.1-pro-preview | Flagship | 100% | Mastered |
| gpt-6-astra | Flagship | 100% | Mastered |
| claude-fable-5-1 | Flagship | 100% | Mastered |
| gemini-3.8-flash | Mid tier | 100% | Mastered |
| gpt-6.1-sol | Mid tier | 100% | Mastered |
| claude-sonnet-5-5 | Mid tier | 100% | Mastered |
| gemini-3.5-flash-lite | Low cost | 100% | Mastered |
| gpt-6-luna | Low cost | 100% | Mastered |
| claude-haiku-5-5 | Low cost | 100% | Mastered |
Mastered means a probability of at least 90% that the model has this knobit, estimated from its graded answers. “Not shown” means the answers do not settle it either way. How the models are tested.
What it looks like in practice
Expected result: The three anomalies and the redundancy that produces them
How it is assessed: Defines each anomaly and gives an example of each in a sample entity
Related knobits
Needed for
- K-501 Recognises an insertion anomaly in a logical data model
- K-502 Recognises an update anomaly in a logical data model
- K-503 Recognises a deletion anomaly in a logical data model
- K-531 Traces a logical-model anomaly to its structural cause
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