Logical equations with unknown binary relations in information systems having a complicated logic structure have been investigated. Conditions for the existence of solutions to parametric equations with unknown relations in information systems have been obtained. The results obtained can be used for building logic deductions in intelligent systems and database management systems.
informative system, algebra of eventual predicates, self-reactance equalizations, Boolean algebra
"Ob uslovyiakh sushchestvovanyia reshenyia lohycheskykh uravnenyi s neyzvestnыmy bynarnыmy otnoshenyiamy v ynformatsyonnoi systeme" ,
Information Processing Systems,