Бениаминов Е.М. - Алгебраические методы в теории баз данных и представлении знаний
Книга «Алгебраические методы в теории баз данных и представлении знаний» /Бениаминов Е.М. - М.: Научный мир, 2003. – 184 с. посвящена рассмотрению алгебраических методов и моделей в приложении к задачам информатики; включает некоторые результаты, полученные при построении и анализе алгебраических моделей задач теории баз данных, абстрактных типов данных и представления знаний.
Глава 1 рассматривает алгебраические методы теории баз данных с исследованием реляционных алгебр, использующихся в моделировании баз данных соответствующего типа. Суть такого подхода к моделированию данных состоит в том, что состояние описываемого мира можно представить в виде набора отношений (таблиц), а обработка данных осуществляется путем операций над этими отношениями.
Глава 2 дает алгебраический подход к представлению понятий, рассматривая некоторые математические средства и представления понятий для автоматизированной работы с ними. В основе построения реляционных моделей баз данных и абстрактных типов данных в программировании лежат алгебраические методы. Опыт применения алгебры используется и для приложения к более широкой задаче – моделированию понятий и формированию баз понятий,
Глава 3 описывает алгебраические средства представления понятий, включая рассмотрение: 1 - алгебраической структуры топосов конечного типа – с конечным множеством образующих и некоторым условием конечности объектов; 2 – рефлексивных топосов, использующихся в случаях, если нужно отражать знания не только о внешнем мире, но и о всей системе представления знаний в целом; 3 – алгебры с условными операциями, когда схемы баз данных моделируются категориями с категорными операциями, действующими при выполнении некоторых условий.
Книга предназначена для студентов и аспирантов, занимающихся приложениями современных средств универсальной алгебры и теорией категорий, а также для специалистов в области теории информатики, баз данных и моделями в представлении знаний.