Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень
Показано спосіб побудови процедур одержання ланцюга премоноїдних інтерпретацій модифікаційних предикатних запитів із пре- моноїдною ко-границею, яка може бути розширена до рівня моделі модифікаційних предикатних запитів у заданій категорійній стратегії та системі обмежень. Введено транзитивну сист...
Saved in:
| Date: | 2006 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2006
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1532 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень / В.І.Шекета, М.Я.Бестильний, Р.І.Храбатин // Проблеми програмування. — 2006. — N 2-3. — С. 436-444. — Бібліогр.: 16 назв. — укр. |