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

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