Фундаментальная и прикладная математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Историческая справка

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Фундамент. и прикл. матем.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Фундаментальная и прикладная математика, 1996, том 2, выпуск 3, страницы 875–910 (Mi fpm174)  

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

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

a Bar-Ilan University
b Hebrew University of Jerusalem
Аннотация: Понятие полиадических алгебр Халмоша было введено Халмошем как средство алгебраизации исчисления предикатов первого порядка. В статье показывается, как теория алгебр Халмоша используется для определения алгебраической модели реляционной базы данных. Модель позволяет, в частности, разработать формальный алгебраический подход к определению описания состояния базы данных. Описание основывается на понятии фильтра алгебры Халмоша, тесно связанного с проблемой выводимости в алгебрах Халмоша и в логике первого порядка. В статье изучаются связи между этими понятиями. Строится несколько примеров описания состояния базы данных с использованием результатов по категоричности и D-категоричности набора формул.
Ключевые слова: алгебраическая логика, алгебраическая модель базы данных, описание состояния базы данных.
Поступила в редакцию: 01.06.1995
Реферативные базы данных:
УДК: 510.649+512.55.0+519.689.6
Образец цитирования: Т. Л. Плоткин, Б. И. Плоткин, С. Краус, “Алгебраическая логика в описании состояния базы данных”, Фундамент. и прикл. матем., 2:3 (1996), 875–910
Цитирование в формате AMSBIB
\RBibitem{PloPloKra96}
\by Т.~Л.~Плоткин, Б.~И.~Плоткин, С.~Краус
\paper Алгебраическая логика в~описании состояния базы данных
\jour Фундамент. и прикл. матем.
\yr 1996
\vol 2
\issue 3
\pages 875--910
\mathnet{http://mi.mathnet.ru/fpm174}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1815563}
\zmath{https://zbmath.org/?q=an:0897.03060}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/fpm174
  • https://www.mathnet.ru/rus/fpm/v2/i3/p875
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Фундаментальная и прикладная математика
    Статистика просмотров:
    Страница аннотации:682
    PDF полного текста:376
    Первая страница:2
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024