1. Science
  2. Publications
  3. Information Processing Systems
  4. 9(90)'2010
  5. On the existence of solutions to logical equations with unknown binary relations in an information system

On the existence of solutions to logical equations with unknown binary relations in an information system

D.E. Sitnikov, P.E.Sitnikova, A.I. Kovalenko
Annotations languages:

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.
Keywords: informative system, algebra of eventual predicates, self-reactance equalizations, Boolean algebra