1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 2(92)'2011
  5. Метод решения логических уравнений с конечными бинарными отношениями в информационной системе

Метод решения логических уравнений с конечными бинарными отношениями в информационной системе

Д. Э. Ситников, П. Э. Ситникова, А. И. Коваленко
Системи обробки інформації. — 2011. — № 2(92). — С. 49-52.
УДК 510.6:004
Мова статті: російська
Анотації на мовах:

В статье разрабатывается метод решения логических уравнений с неизвестными бинарными отношениями в информационной системе. Так как отношения и предикаты являются основными математическими объектами любой информационной системы, с теоретической и практической точек зрения представляется интересной разработка эффективных процедур нахождения неизвестных отношений информационной системы. В данной статье делается попытка математически обосновать необходимость нахождения неизвестных бинарных отношений между информационными объектами и выводятся логико-алгебраические формулы, позволяющие найти неизвестное бинарное отношение, выразив его через априори известные отношения с помощью заранее заданного набора логических операций.
Ключові слова: информационная система, алгебра конечных предикатов, параметрические уравнения, булева алгебра
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Ситников Д. Э. Метод решения логических уравнений с конечными бинарными отношениями в информационной системе / Д. Э. Ситников, П. Э. Ситникова, А. И. Коваленко  // Системи обробки інформації. — 2011. — № 2. — С. 49-52.