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