Text this: SQL and relational theory :