Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Препринт ИПМ № 201, Москва, 2018 г.
Авторы: Трифонова Е.Е.
Восстановления баз данных с ограничениями из одного класса
Аннотация:
В данной работе рассматриваются вопросы построения наилучших восстановлений баз данных, содержащих противоречия, с точки зрения формальной логики. Выделяется класс формул-ограничений, позволяющий выражать на языке исчисления предикатов формулы-ограничения, записанные на языке SQL, использующемся в реальных базах данных. Для этого класса рассматриваются различные варианты построения наилучших восстановлений в зависимости от вида формулы.
Ключевые слова:
формулы-ограничения, восстановление базы данных, противоречие
Язык публикации: русский,  страниц: 31
Направление исследований:
Математическое моделирование в актуальных проблемах науки и техники
Полный текст на русском языке:
Статистика просмотров (обновляется раз в сутки):
за последние 30 дней — 2 (-3), всего с 01.09.2019 — 77
Сведения об авторах:
  • Трифонова Екатерина Евгеньевна,  ,  ИПМ им. М.В. Келдыша РАН