Свойства операции проекции в табличных алгебрах

Abstract

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

In this paper, the necessary and sufficient conditions under which a projection operation is distributive with respect to intersection and difference operations are found. The criterion of permutability for projection and active complement operations is also found. Obtained conditions are illustrated by some examples.