ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1996, ТОМ 2, ВЫПУСК 3, СТР. 875-910
Т. Л. Плоткин
Б. И. Плоткин
С. Краус
Аннотация
Посмотреть как HTML
Посмотреть как рисунок
Посмотреть в формате LaTeX
Понятие полиадических алгебр Халмоша было введено Халмошем как средство алгебраизации исчисления предикатов первого порядка. В статье показывается, как теория алгебр Халмоша используется для определения алгебраической модели реляционной базы данных. Модель позволяет, в частности, разработать формальный алгебраический подход к определению описания состояния базы данных. Описание основывается на понятии фильтра алгебры Халмоша, тесно связанного с проблемой выводимости в алгебрах Халмоша и в логике первого порядка. В статье изучаются связи между этими понятиями. Строится несколько примеров описания состояния базы данных с использованием результатов по категоричности и D-категоричности набора формул.
| Главная страница | Содержание | Новости | Поиск |
URL страницы: http://mech.math.msu.su/~fpm/rus/96/963/96309h.htm
Изменения вносились 10 июня 1999