Relational database model#Set-theoretic formulation