 The theorem is named after Edgar F. Codd, the father of the relational model for database management.The domain independent relational calculus queries are precisely those relational calculus queries that are invariant under choosing domains of values beyond those appearing in the database itself.That is, queries that may return different results for different domains are excluded.