Codd's Theorem for Databases over Semirings

Guillermo Badia, Phokion G. Kolaitis, Carles Noguera

Codd's Theorem, a fundamental result of database theory, asserts that relational algebra and relational calculus have the same expressive power on relational databases. We explore…