SQL and Relational Theory