Показано спосіб побудови процедур одержання ланцюга премоноїдних інтерпретацій (ПІ) модифікаційних предикатних запитів (МПЗ) з премоноїдною ко-межею, яка може бути розширена до рівня моделі МПЗ у заданій категорійній стратегії та системі обмежень. Уведено транзитивну систему (ТС) для премоноїдних дедукцій (ПД) МПЗ, як розширення базової ТС для категорійної дедукції через уведення премоноїдних уніфікаторів. Уведені реіндексувальні функтори виконують відображення дедукції та зберігають уведені премоноїдні структури, що дозволяє виконати оголошення скінченної ПІ, яка є базою для побудови премоноїдної моделі МПЗ. Виконано побудову премоноїдної індексованої категорії з підкатегорією простих ПД із фіксованими доменами та ко-домена.

Індекс рубрикатора НБУВ: З973-018

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Шекета Василь Іванович (технічні науки)
• Храбатин Роман Ігорович (фізико-математичні науки)

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