Метод поддержания семантической целостности баз данных в АСУ

Предлагается метод поддержания семантической целостности баз данных, основанный на представлении ограничений целостности в виде логических формул. В отличие от известных методов используется двухуровневая формальная система представления информации, позволяющая построить эффективный алгоритм контроля целостности баз данных большого объема. Предлагаемая формальная система и алгоритм контроля могут быть использованы для разработки достаточно мощного и гибкого аппарата поддержания целостности баз данных в АСУ.