Рассмотрены некоторые часто встречающиеся в информационных системах виды отношений, таких, как рефлексивность, симметричность, антирефлексивность, антисимметричность. Поставлена и решена задача представления таких предикатов в параметрической форме с использованием так называемого свободного предикатного параметра, подставляя различные значения которого, можно получить все предикаты некоторого класса, описываемого системой логических правил. Общие виды описываемых классов можно использовать для более детального исследования специфики определенных отношений в информационной системе.

 Наукова періодика України 

---

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"