І.O. Leschyns’ka

Annotations languages:

In this work by the generalized method of synthesis of relational networks of промоделирована relational network for the relation of equivalence. The methods of binary decomposition of predicate of model of relational network are considered. For all sets of subject variables by bit work of relational network is tested. On a concrete example, functioning of arc of relational network is described by a linear boolean operator. The method of construction of the directed charts of model of relational network is described.