В монографии с единой методологической точки зрения анализируется современное состояние исследований по типам данных в языках программирования и базах данных. Дается алгебраическое обоснование типов данных и устанавливается связь между абстрактными, конкретными и родовыми типами. Вводится унифицированный конструктив типов данных, который применяется для рассмотрения систем типов данных, известных языков программирования Паскаль, Клу и Ада. Обсуждаются классические модели баз данных и дается оригинальная их трактовка с позиций унифицированного конструктива данных.

Книга предназначена для специалистов по информатике и программированию.