ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1996, ТОМ 2, ВЫПУСК 3, СТР. 875-910

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

Т. Л. Плоткин
Б. И. Плоткин
С. Краус

Аннотация

Посмотреть как HTML    Посмотреть как рисунок    Посмотреть в формате LaTeX

Понятие полиадических алгебр Халмоша было введено Халмошем как средство алгебраизации исчисления предикатов первого порядка. В статье показывается, как теория алгебр Халмоша используется для определения алгебраической модели реляционной базы данных. Модель позволяет, в частности, разработать формальный алгебраический подход к определению описания состояния базы данных. Описание основывается на понятии фильтра алгебры Халмоша, тесно связанного с проблемой выводимости в алгебрах Халмоша и в логике первого порядка. В статье изучаются связи между этими понятиями. Строится несколько примеров описания состояния базы данных с использованием результатов по категоричности и D-категоричности набора формул.

Постскрипт статьи (149Kb)



Главная страница Содержание Новости Поиск

URL страницы: http://mech.math.msu.su/~fpm/rus/96/963/96309t.htm
Изменения вносились 10 июня 1999