Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень
Показано спосіб побудови процедур одержання ланцюга премоноїдних інтерпретацій модифікаційних предикатних запитів із пре- моноїдною ко-границею, яка може бути розширена до рівня моделі модифікаційних предикатних запитів у заданій категорійній стратегії та системі обмежень. Введено транзитивну сист...
Збережено в:
| Дата: | 2006 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2006
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1532 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень / В.І.Шекета, М.Я.Бестильний, Р.І.Храбатин // Проблеми програмування. — 2006. — N 2-3. — С. 436-444. — Бібліогр.: 16 назв. — укр. |