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