Databases, types, and the relational model : the third manifesto : a detailed study of the impact of type theory on the relational model of data, including a comprehensive model of type inheritance - Date, C. J. (Addison-Wesley, 2007)