Аксиоматизируемый класс моделей реляционной базы данных

Формализуется описание реляционной модели базы данных в тер­минах теории моделей. Такое представление помимо преимуществ по­становочного характера проясняет роль и природу аппарата булевых функций, используемых для оптимизации описания и синтеза базы, а также путей доступа в языках запроса.