Шекета, В. І.2017-03-242017-03-242005Шекета В. І. Побудова моделі модифікаційних предикатних запитів на основі прeмоноїдних категорійних структур / В. І. Шекета // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Системный анализ, управление и информационные технологии. – Харьков : НТУ "ХПИ", 2005. – № 59. – С. 93-104.https://repository.kpi.kharkov.ua/handle/KhPI-Press/28124На шарах індексованої категорії модифікаційних предикатних запитів введено премоноїдні структури замість моноїдних, що з точки зору програмної імплементації в більшій мірі відповідає стандартній процедурі Prolog–резолюції. Введено спосіб використання премоноїдних структур на шарах синтаксичних і семантичних стратегій. Показано, що премоноїдна модель в рамках категорійної стратегії може бути задана також і з допомогою відповідної функторної інтерпретації, що відповідає моделі Гербранда для абстрактних логічних програм. Показано, що реіндексовані функтори зберігають премоноїдну структуру шарів яку можна також розглядати і як моноїдну оскільки всі відображення є центральними, а значить, також і як таку, що може бути перетворена в премоноїдну індексовану категорію.ruпрограмування логічнесемантикаінтерпретація категорійнатеорія фіксованих значеньдедукція категорійнастратегія категорійназапит модифікаційнийфунктормодель формальнамодель премоноїднаArticle