Бениаминов

Алгебраические методы в теории баз данных и представлении знаний, Бениаминов Е.М., 2003.

В книге представлены результаты, полученные за последние 20 лет зарубежными и отечественными авторами, включая автора книги, по развитию и применению алгебраических методов в задачах моделирования баз данных и систем представления знаний. Книга содержит описания алгебраических средств моделирования баз данных реляционного типа, представления знаний и баз понятий. В ней излагаются результаты алгебраических исследований строения реляционных алгебр и категорий, используемых в задачах моделирования. Результаты могут быть использованы при проектировании информационных систем. Книга написана для научных работников, студентов и аспирантов с интересами в области алгебры и ее приложений к Computer science. Стиль книги строится на сочетании математического описания задач моделирования, строгого математического изложения результатов и доказательств с примерами применения полученных результатов. В основу значительной части книги положен курс лекций, читаемый автором в течение ряда лет для студентов факультета информатики РГГУ и отделения интеллектуальных систем Института лингвистики РГГУ.

Элементы универсальной алгебры и ее приложений в информатике, Бениаминов Е.М., Ефимова Е.А., 2004.

I. АЛГЕБРАИЧЕСКИЕ МОДЕЛИ ТИПОВ ДАННЫХ.
Настоящий раздел посвящен алгебраическому моделированию абстрактных типов данных. Вводятся понятия алгебраической системы, сигнатуры, многосортной алгебры, а также абстрактного типа данных и его реализации. Определяются гомоморфизмы реализаций абстрактного типа данных. Приводятся примеры описания типов данных в виде алгебраических систем с равенствами, раскрывающими смысл операций.
В программировании понятие абстрактного типа данных является одним из основных понятий объектно-ориентированного моделирования. В основе объектно-ориентированной реализации абстрактного типа данных лежит понятие класса. Объекты классов - элементов реализаций абстрактного типа данных - можно использовать точно так же, как и значения встроенных типов данных. В определение интерфейса класса входит перечисление имен операций (методов). Соотношения между операциями в программировании чаще всего не описываются, а остаются в головах программистов и выражаются в реализации методов в виде программ. Пользователи классов узнают о соотношениях между операциями в основном по метафоре, стоящей за названиями класса и именами его операций, либо по поведению объектов этих классов и из описания, содержащегося в комментариях к определению класса или в тексте Help, если этот класс системный. В этом разделе на примерах мы пытаемся показать, что соотношения между операциями класса выражают важную часть их смысла.