Source: wikibot/codd-s-theorem
= Codd's theorem
{wiki=Codd's_theorem}
Codd's theorem is a fundamental result in the field of relational databases, formulated by Edgar F. Codd, who is also credited with developing the relational model for database management systems. The theorem essentially states that a relational database can be fully understood and manipulated using only a set of operations, specifically based on the relational algebra, without needing to rely on the underlying implementation details.