Text this: Основы будущих систем баз данных. Третий манифест. Детальное исследование влияния теории типов на реляционную модель данных, включая полную модель наследования типов