Москва: "Научный мир", — 2003. — 184 с.
ISBN 5-89176-208-0 В книге представлены результаты, полученные за последние 20 лет зарубежными и отечественными авторами, включая автора книги, по развитию и применению алгебраических методов в задачах моделирования баз данных и систем представления знаний. Книга содержит описания алгебраических средств моделирования баз данных реляционного типа, представления знаний и баз понятий. В ней излагаются результаты алгебраических исследований строения реляционных алгебр и категорий, используемых в задачах моделирования. Результаты могут быть использованы при проектировании информационных систем. Книга имеет следующую структуру:
Предисловие
Введение
Краткое содержание книги
Алгебраические методы теории баз данных
Некоторые определения
Определение K-алгебр
Гомоморфизмы и идеалы K-алгебр
Категория K-алгебр
Теорема о разложении K-алгебр
Описание и классификация неприводимых реляционных алгебр
Алгебраический подход к представлению понятий
Алгебраические модели типов данных
– Типы данных как примеры понятий
– Абстрактные типы данных
– Алгебра термов и инициальная алгебра
– Вычисления в инициальной алгебре
– Операции над типами данных
Категорный подход к представлению понятий
– Фрагменты схем баз данных как примеры понятий
– Примеры представления общих понятий
– Общее описание категорного подхода
– Категорные средства представления понятий
– Конечные задания категорий и конечные аппроксимации категорий
Алгебраические средства представления понятий
Алгебраическая структура топосов конечного типа
Рефлексивные топосы
Алгебры с условными операциями
Список литературы
Предметный указатель
ISBN 5-89176-208-0 В книге представлены результаты, полученные за последние 20 лет зарубежными и отечественными авторами, включая автора книги, по развитию и применению алгебраических методов в задачах моделирования баз данных и систем представления знаний. Книга содержит описания алгебраических средств моделирования баз данных реляционного типа, представления знаний и баз понятий. В ней излагаются результаты алгебраических исследований строения реляционных алгебр и категорий, используемых в задачах моделирования. Результаты могут быть использованы при проектировании информационных систем. Книга имеет следующую структуру:
Предисловие
Введение
Краткое содержание книги
Алгебраические методы теории баз данных
Некоторые определения
Определение K-алгебр
Гомоморфизмы и идеалы K-алгебр
Категория K-алгебр
Теорема о разложении K-алгебр
Описание и классификация неприводимых реляционных алгебр
Алгебраический подход к представлению понятий
Алгебраические модели типов данных
– Типы данных как примеры понятий
– Абстрактные типы данных
– Алгебра термов и инициальная алгебра
– Вычисления в инициальной алгебре
– Операции над типами данных
Категорный подход к представлению понятий
– Фрагменты схем баз данных как примеры понятий
– Примеры представления общих понятий
– Общее описание категорного подхода
– Категорные средства представления понятий
– Конечные задания категорий и конечные аппроксимации категорий
Алгебраические средства представления понятий
Алгебраическая структура топосов конечного типа
Рефлексивные топосы
Алгебры с условными операциями
Список литературы
Предметный указатель