Database model
Statement
Network data model; IDS. Proved in ZFC.
Source
ACM Turing Award 1973. Network data model; IDS. Proved in ZFC.
Domains
computer-science
Network data model; IDS. Proved in ZFC.
ACM Turing Award 1973. Network data model; IDS. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/bachman-turing-1973/