AWhat changed
Candidate-key and transitive-dependency criteria articulate second and third normal forms to distinguish relations combining different facts.
Scientific scope
Candidate-key and transitive-dependency criteria articulate second and third normal forms to distinguish relations combining different facts. This entry covers the inspected definitions and examples, not every later theorem in the report. Conditions concern all candidate keys. Normalization does not guarantee an optimal application design or remove every dependency without loss.
Evidence
Source-linked, scoped account of the original work. The published scope states the scientific assumptions and remaining verification limits. WRS has not independently certified the full proof, experimental result or system benchmark.
Contributors
- Edgar F. Codd · SCIENCE: Original source-listed scientific author of this scoped work; byline does not determine effort fractions.
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction