Codd's Theorem - Expressive Power of Relational Languages | OneNoughtOne