abstract: Рассматривается использование формальных логических моделей для устранения противоречий в содержимом баз данных. Восстановление баз данных строится посредством удаления кортежей. Рассматриваются способы построения наилучшего восстановления для некоторых классов формул.
keywords: база данных, модель, восстановление