Некоторые равенства в табличных алгебрах

Abstract

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

Знайдено необхiднi та достатнi умови, при яких одинадцять включень, якi виконуються в табличних алгебрах, перетворюються у рiвностi. Цi умови виражаються в термiнах активних доменiв таблиць та є природними.

The necessary and sufficient conditions, due to which eleven inclusions realized in table algebras become equalities, are found. These conditions are expressed in terms of active domains of the tables and are natural.