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

В данной работе рассматриваются вопросы построения наилучших восстановлений баз данных, содержащих противоречия, с точки зрения формальной логики. Выделяется класс формул-ограничений, позволяющий выражать на языке исчисления предикатов формулы-ограничения, записанные на языке SQL, использующемся в реальных базах данных. Для этого класса рассматриваются различные варианты построения наилучших восстановлений в зависимости от вида формулы.