Вісник № 59
Постійне посилання зібрання
Переглянути
Перегляд Вісник № 59 за Ключові слова "запит модифікаційний"
Зараз показуємо 1 - 1 з 1
Результатів на сторінці
Налаштування сортування
Документ Побудова моделі модифікаційних предикатних запитів на основі прeмоноїдних категорійних структур(НТУ "ХПІ", 2005) Шекета, В. І.На шарах індексованої категорії модифікаційних предикатних запитів введено премоноїдні структури замість моноїдних, що з точки зору програмної імплементації в більшій мірі відповідає стандартній процедурі Prolog–резолюції. Введено спосіб використання премоноїдних структур на шарах синтаксичних і семантичних стратегій. Показано, що премоноїдна модель в рамках категорійної стратегії може бути задана також і з допомогою відповідної функторної інтерпретації, що відповідає моделі Гербранда для абстрактних логічних програм. Показано, що реіндексовані функтори зберігають премоноїдну структуру шарів яку можна також розглядати і як моноїдну оскільки всі відображення є центральними, а значить, також і як таку, що може бути перетворена в премоноїдну індексовану категорію.