 Relational calculus is essentially equivalent to first-order logic, and indeed, Codd's Theorem had been known to logicians since the late 1940s.Query languages that are equivalent in expressive power to relational algebra were called relationally complete by Codd.By Codd's Theorem, this includes relational calculus.