Cтраница 2
В этой главе приводятся некоторые общие сведения о многообразиях и других аксиоматизируемых классах алгебр. Как и раньше, алгебры могут быть и многосортными. Рассматриваются также некоторые конструкции, которые будут использованы. Многообразия играют особую роль в базах данных - они связаны с важной в теории программирования идеей типа данных. [16]
В данной книге, вероятно, также имеется некоторый новый материал по алгебраической логике. Подсказан этот материал приложениями к базам данных. Отметим еще, что алгебраическую логику связывают также с динамической логикой, и это, в свою очередь, дает выходы в теорию программирования. Связи с теорией программирования основаны также на идее типа данных. [17]