Third Edition
with minor revisions for this online copy (see next page)
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
C. J. Date
and
Hugh Darwen