Алгебраические методы в теории баз данных и представлении знаний

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