Proof — Relational algebra
Statement
Relational model; normal forms; Codd's theorem. Proved in ZFC.
Source
ACM Turing Award 1981. Relational model; normal forms; Codd's theorem. Proved in ZFC.
Domains
computer-science
Relational model; normal forms; Codd's theorem. Proved in ZFC.
ACM Turing Award 1981. Relational model; normal forms; Codd's theorem. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/codd-turing-1981/