|
Фундаментальная и прикладная математика, 1996, том 2, выпуск 3, страницы 875–910
(Mi fpm174)
|
|
|
|
Алгебраическая логика в описании состояния базы данных
Т. Л. Плоткинa, Б. И. Плоткинb, С. Краусa a Bar-Ilan University
b Hebrew University of Jerusalem
Аннотация:
Понятие полиадических алгебр Халмоша было введено Халмошем как средство алгебраизации исчисления предикатов первого порядка. В статье показывается, как теория алгебр Халмоша используется для определения алгебраической модели реляционной базы данных. Модель позволяет, в частности, разработать формальный алгебраический подход к определению описания состояния базы данных. Описание основывается на понятии фильтра алгебры Халмоша, тесно связанного с проблемой выводимости в алгебрах Халмоша и в логике первого порядка. В статье изучаются связи между этими понятиями. Строится несколько примеров описания состояния базы данных с использованием результатов по категоричности и D-категоричности набора формул.
Ключевые слова:
алгебраическая логика, алгебраическая модель базы данных, описание состояния базы данных.
Поступила в редакцию: 01.06.1995
Образец цитирования:
Т. Л. Плоткин, Б. И. Плоткин, С. Краус, “Алгебраическая логика в описании состояния базы данных”, Фундамент. и прикл. матем., 2:3 (1996), 875–910
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/fpm174 https://www.mathnet.ru/rus/fpm/v2/i3/p875
|
Статистика просмотров: |
Страница аннотации: | 682 | PDF полного текста: | 376 | Первая страница: | 2 |
|