1. Science
  2. Publications
  3. Information Processing Systems
  4. 1(117)'2014
  5. Representing binary predicates in an information system with the help of a free predicate parameter

Representing binary predicates in an information system with the help of a free predicate parameter

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

In the given paper we have considered some relation types often encountered in information systems, such as reflexivity, symmetry, anti-reflexivity, anti-symmetry. A task has been defined and solved as to the possibility of representing such predicates in a parametric form with the help of so called free predicate parameter. When substituting various predicates for this parameter we can obtain all predicates from a certain class described by a system of logic rules. The general forms of the classes being described can be used for more detailed investigating some relations in the information system.
Keywords: information system, binary predicate, reflexivity, symmetry, anti-reflexivity, antisymmetry
Reference:
Sytnykov, D.Э., Sytnykova, P.Э. and Kovalenko, A.Y. (2014), "Predstavlenye bynarnыkh predykatov ynformatsyonnoi systemы s pomoshchiu svobodnoho predykatnoho parametr" [Representing binary predicates in an information system with the help of a free predicate parameter], Information Processing Systems, Vol. 1(117), pp. 133-136.