Типы данных в языках программирования и базах данных
Автор:Замулин А. В. Год: 1987 Издание:Наука. Сибирское отделение Страниц: 152 ISBN: [не указан] В монографии с единой методологической точки зрения анализируется современное состояние исследований по типам данных в языках программирования и базах данных. Дается алгебраическое обоснование типов данных и устанавливается связь между абстрактными, конкретными и родовыми типами. Вводится унифицированный конструктив типов данных, который применяется для рассмотрения систем типов данных, известных языков программирования Паскаль, Клу и Ада. Обсуждаются классические модели баз данных и дается оригинальная их трактовка с позиций унифицированного конструктива данных. Книга предназначена для специалистов по информатике и программированию.