Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень
Показано спосіб побудови процедур одержання ланцюга премоноїдних інтерпретацій модифікаційних предикатних запитів із пре-
 моноїдною ко-границею, яка може бути розширена до рівня моделі модифікаційних предикатних запитів у заданій категорійній
 стратегії та системі обмежень. Введено...
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 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862752074123444224 |
|---|---|
| author | Шекета, В.І. Бестильний, М.Я. Храбатин, Р.І. |
| author_facet | Шекета, В.І. Бестильний, М.Я. Храбатин, Р.І. |
| citation_txt | Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень / В.І.Шекета, М.Я.Бестильний, Р.І.Храбатин // Проблеми програмування. — 2006. — N 2-3. — С. 436-444. — Бібліогр.: 16 назв. — укр. |
| collection | DSpace DC |
| description | Показано спосіб побудови процедур одержання ланцюга премоноїдних інтерпретацій модифікаційних предикатних запитів із пре-
моноїдною ко-границею, яка може бути розширена до рівня моделі модифікаційних предикатних запитів у заданій категорійній
стратегії та системі обмежень. Введено транзитивну систему для премоноїдних дедукцій модифікаційних предикатних запитів, як
розширення базової транзитивної систе для категорійної дедукції через введення премоноїдних уніфікаторів. Введені реіндексуючі
функтори виконують відображення дедукції і зберігають введені премоноїдні структури, що дозволяє виконати оголошення скінченної премоноїдної інтерпретації, яка є основою для побудови премоноїдної моделі модифікаційних предикатних запитів. Вико-
нано побудову премоноїдної індексованої категорії із підкатегорією простих премоноїдних дедукцій із фіксованими доменами і кодомена.
The method is proposed for procedures construction for getting of premonoidal interpretations chain of modifications predicate queries with
premonoidal co-limit which can be extended to the level of an model for modification predicate queries in given categorical strategy and imposed
restrictions system. The transitive system is introduced for premonoidal deductions of modification predicate queries, as extension of
the base transitive system for categorical deduction through adding of premonoidal unificators. The introduced reindexed functors executes
mappings of deductions and preserves the entered premonoidal structures, that allows to execute declaration of finite premonoidal interpretation
which is the basis for construction of premonoidal model of modification predicate queries. The construction of premonoidal indexed
category is done with the subcategory of simple premonoidal deductions with the fixed domains and co-domains and with natural transformations
in quality of the selected elements.
|
| first_indexed | 2025-12-07T21:14:41Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1532 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T21:14:41Z |
| publishDate | 2006 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Шекета, В.І. Бестильний, М.Я. Храбатин, Р.І. 2008-08-21T17:26:43Z 2008-08-21T17:26:43Z 2006 Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень / В.І.Шекета, М.Я.Бестильний, Р.І.Храбатин // Проблеми програмування. — 2006. — N 2-3. — С. 436-444. — Бібліогр.: 16 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1532 004.942 Показано спосіб побудови процедур одержання ланцюга премоноїдних інтерпретацій модифікаційних предикатних запитів із пре-
 моноїдною ко-границею, яка може бути розширена до рівня моделі модифікаційних предикатних запитів у заданій категорійній
 стратегії та системі обмежень. Введено транзитивну систему для премоноїдних дедукцій модифікаційних предикатних запитів, як
 розширення базової транзитивної систе для категорійної дедукції через введення премоноїдних уніфікаторів. Введені реіндексуючі
 функтори виконують відображення дедукції і зберігають введені премоноїдні структури, що дозволяє виконати оголошення скінченної премоноїдної інтерпретації, яка є основою для побудови премоноїдної моделі модифікаційних предикатних запитів. Вико-
 нано побудову премоноїдної індексованої категорії із підкатегорією простих премоноїдних дедукцій із фіксованими доменами і кодомена. The method is proposed for procedures construction for getting of premonoidal interpretations chain of modifications predicate queries with
 premonoidal co-limit which can be extended to the level of an model for modification predicate queries in given categorical strategy and imposed
 restrictions system. The transitive system is introduced for premonoidal deductions of modification predicate queries, as extension of
 the base transitive system for categorical deduction through adding of premonoidal unificators. The introduced reindexed functors executes
 mappings of deductions and preserves the entered premonoidal structures, that allows to execute declaration of finite premonoidal interpretation
 which is the basis for construction of premonoidal model of modification predicate queries. The construction of premonoidal indexed
 category is done with the subcategory of simple premonoidal deductions with the fixed domains and co-domains and with natural transformations
 in quality of the selected elements. uk Інститут програмних систем НАН України Моделі і засоби систем баз даних і знань Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень The interpretation of predicate queries on basis of premonoidal deduction in semantic strategy and system Article published earlier |
| spellingShingle | Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень Шекета, В.І. Бестильний, М.Я. Храбатин, Р.І. Моделі і засоби систем баз даних і знань |
| title | Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень |
| title_alt | The interpretation of predicate queries on basis of premonoidal deduction in semantic strategy and system |
| title_full | Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень |
| title_fullStr | Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень |
| title_full_unstemmed | Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень |
| title_short | Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень |
| title_sort | інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень |
| topic | Моделі і засоби систем баз даних і знань |
| topic_facet | Моделі і засоби систем баз даних і знань |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1532 |
| work_keys_str_mv | AT šeketaví ínterpretacíâpredikatnihzapitívnaosnovípremonoídnoídedukcíívsemantičníistrategííísistemíobmeženʹ AT bestilʹniimâ ínterpretacíâpredikatnihzapitívnaosnovípremonoídnoídedukcíívsemantičníistrategííísistemíobmeženʹ AT hrabatinrí ínterpretacíâpredikatnihzapitívnaosnovípremonoídnoídedukcíívsemantičníistrategííísistemíobmeženʹ AT šeketaví theinterpretationofpredicatequeriesonbasisofpremonoidaldeductioninsemanticstrategyandsystem AT bestilʹniimâ theinterpretationofpredicatequeriesonbasisofpremonoidaldeductioninsemanticstrategyandsystem AT hrabatinrí theinterpretationofpredicatequeriesonbasisofpremonoidaldeductioninsemanticstrategyandsystem |