Foundation for object/relational databases the third manifesto : a detailed study of the impact of objects and type theory on the relational model of data, including a comprehensive proposal for type inheritance