Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень

• Datum: 2006
• Hauptverfasser: Шекета, В.І., Бестильний, М.Я., Храбатин, Р.І.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут програмних систем НАН України 2006
• Schlagworte: Моделі і засоби систем баз даних і знань
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/1532
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень / В.І.Шекета, М.Я.Бестильний, Р.І.Храбатин // Проблеми програмування. — 2006. — N 2-3. — С. 436-444. — Бібліогр.: 16 назв. — укр.

Показано спосіб побудови процедур одержання ланцюга премоноїдних інтерпретацій модифікаційних предикатних запитів із пре- моноїдною ко-границею, яка може бути розширена до рівня моделі модифікаційних предикатних запитів у заданій категорійній стратегії та системі обмежень. Введено транзитивну сист...