1. Science
  2. Publications
  3. Information Processing Systems
  4. 6(55)'2006
  5. Method of binary decouplig of functional predicates

Method of binary decouplig of functional predicates

A. Ivanilov
Annotations languages:

The method of binary decouplig of functional predicates on the basis of facilities of theory of normalization of relation contacts, allowing to process a formula or relation not wholly, is offered, and by installments.
Reference:
Yvanylov, A.A. (2006), "Metod bynarnoi dekompozytsyy funktsyonalnыkh predykatov" , Information Processing Systems, Vol. 6(55), pp. 86-97.