|
Восстановления баз данных с ограничениями из одного класса
Е. Е. Трифонова
Аннотация:
В данной работе рассматриваются вопросы построения наилучших восстановлений баз данных, содержащих противоречия, с точки зрения формальной логики. Выделяется класс формул-ограничений, позволяющий выражать на языке исчисления предикатов формулы-ограничения, записанные на языке SQL, использующемся в реальных базах данных. Для этого класса рассматриваются различные варианты построения наилучших восстановлений в зависимости от вида формулы.
Ключевые слова:
формулы-ограничения, восстановление базы данных,
противоречие.
Образец цитирования:
Е. Е. Трифонова, “Восстановления баз данных с ограничениями из одного класса”, Препринты ИПМ им. М. В. Келдыша, 2018, 201, 31 с.
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ipmp2560 https://www.mathnet.ru/rus/ipmp/y2018/p201
|
Статистика просмотров: |
Страница аннотации: | 102 | PDF полного текста: | 22 | Список литературы: | 18 |
|