Recognises an insertion anomaly in a logical data model
A fact cannot be recorded without also recording another fact it does not depend on, because it has no entity of its own.
Can AI do this?
People still lead Few or none of the tested AI models showed they master this. 0 of 10 models master it.
| Model | Tier | Probability of mastery | Status |
|---|---|---|---|
| gemini-4-argon | Flagship | 43% | Not shown |
| gemini-3.1-pro-preview | Flagship | 44% | Not shown |
| gpt-6-astra | Flagship | 43% | Not shown |
| claude-fable-5-1 | Flagship | 42% | Not shown |
| gemini-3.8-flash | Mid tier | 43% | Not shown |
| gpt-6.1-sol | Mid tier | 42% | Not shown |
| claude-sonnet-5-5 | Mid tier | 43% | Not shown |
| gemini-3.5-flash-lite | Low cost | 47% | Not shown |
| gpt-6-luna | Low cost | 44% | Not shown |
| claude-haiku-5-5 | Low cost | 42% | Not shown |
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 fact that cannot be recorded and the unrelated fact it would need
How it is assessed: Flags the deficient case and passes the acceptable one. Deficient: Branch name held only on Account, so a newly opened branch cannot be recorded until an account is serviced there Acceptable: Branch as a reference entity keyed by Branch Identifier; Account carries only the identifier (cause: row 9)
Also known as: Insertion anomaly (logical model)
Related knobits
Builds on
All 56 knobits of Derive the logical data model.
Source: Review checklist 05-logical, row 1; Codd 1971; Fagin 1981; E&N 14.1.2; C&B