Relational databases

Statement

Ingres; Postgres; ACID. Proved in ZFC.

Source

ACM Turing Award 2014. Ingres; Postgres; ACID. Proved in ZFC.

Domains

computer-science

People

• Michael Stonebraker

Related

• Theorem: Relational databases
• Proof: Relational databases

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People