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

Купить бумажную книгу и читать

Автор: Бениаминов Е.М.

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

Издательство: Москва: "Научный мир"

Год: 2003

Количество страниц: 184

Формат: pdf

Размер: 8 mb

Для сайта:

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

Книга имеет следующую структуру:

Предисловие

Введение

Краткое содержание книги

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

Некоторые определения

Определение K-алгебр

Гомоморфизмы и идеалы K-алгебр

Категория K-алгебр

Теорема о разложении K-алгебр

Описание и классификация неприводимых реляционных алгебр

Алгебраический подход к представлению понятий

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

– Типы данных как примеры понятий

– Абстрактные типы данных

– Алгебра термов и инициальная алгебра

– Вычисления в инициальной алгебре

– Операции над типами данных

Категорный подход к представлению понятий

– Фрагменты схем баз данных как примеры понятий

– Примеры представления общих понятий

– Общее описание категорного подхода

– Категорные средства представления понятий

– Конечные задания категорий и конечные аппроксимации категорий

Алгебраические средства представления понятий

Алгебраическая структура топосов конечного типа

Рефлексивные топосы

Алгебры с условными операциями

Список литературы

Предметный указатель