IPRI - www.ipri.kiev.ua -  IPRI - www.ipri.kiev.ua -
Раздел [RUS]
Регистрация, хранение и обраб. данных. — 2010. — Т. 12, № 4.
[UKR]
Реєстрація, зберігання і оброб. даних. — 2010. — Т. 12, № 4.
[ENG]
Data Rec., Storage & Processing. — 2010. — Vol. 12, N 4.
Страницы 54-61
PDF, full text
Заглавие [RUS]
Алгебраическая характеристика класса графовых преобразователей, сохраняющих денотаты
[UKR]
Алгебраїчна характеристика класу графових перетворювачів, які зберігають денотати
[ENG]
An Algebraic Characteristic of the Class of Graph Transformers Saving Denotations
Авторы [RUS]
Редько И.В., Снигур Н.Н.
[UKR]
І. В. Редько, Н. М. Снігур
[ENG]
Redko I.V., Snigur N.M.
Kiev, Ukraine
Аннотация [RUS]
Рассмотрен класс функций, сохраняющих денотаты на множестве графов. Определено порождающее множество алгебры функций, сохраняющих денотаты на новом носителе — графе, а также доказана его полнота. Библиогр.: 23 наим.
[UKR]
Розглянуто клас функцій, які зберігають денотати на множині графів. Визначено породжуючу множину алгебри функцій, які зберігають денотати на новому носії — графі, а також доведено її повноту.
[ENG]
The class of all saving denotations functions depending on finite graphs is considered. A generating set for the algebra of saving denotations graph functions is found, and it is also proved that this set is complete. Refs: 23 titles.
Ключевые слова [RUS]
алгебра функций и предикатов, сохраняющих денотаты, конечный (ориентированный) граф, функция и предикат произвольной арности, сохраняющие денотаты, поиск порождающих множеств и базисов.
[UKR]
алгебра функцій і предикатів, які зберігають денотати, скінчений (орієнтований) граф, функція та предикат довільної арності, зберігаючі денотати, пошук породжуючих множин і базисів.
[ENG]
algebra оf functions and predicates, saving denotations, finite graph, function and predicat of random arity saving denotations, search for generating and basic sets.
Ссылки 1. Басараб І.А. Базы данных с логико-функциональной точки зрения / І.А. Басараб, В.Н. Редько // Программирование. — 1984. — № 2.— С. 53–67.
2. Мальцев А.И. Алгоритмы и рекурсивные функции / А.И. Мальцев. — М.: Наука, 1965. — 391 с.
3. Колмогоров А.Н. К определению алгоритма / А.Н. Колмогоров, В.А. Успенский // Успехи матем. наук. — 1958. — Т. 13, № 4. — С. 3–28.
4. Asser G. Berechenbare Graphenabbildungen / G. Asser // In: Kompliziertheit von Lern-Und Erkennungsprozessen. — Jena: Friedrich-Schiller-Universitat, 1975. — Р. 7–17.
5. 3аславский И.Д. Граф-схемы с памятью / И.Д. Заславський // Тр. мат. ин-та АН СССР. —1964.— 72. — С. 99?192.
6. Babai L. Isomorphism of Graphs with Bounded Eigenvalue Multiplicity / L. Babai, D. Grigoryev, D. Mount // Proc. 14th ACM Symp. on Theory of Comput. — STOC, 1982. —Р. 310–324.
7. Пролубников А.В. Прямой алгоритм проверки изоморфизма графов / А.В. Пролубников // Сб. научн. тр. «Компьютерная оптика». под ред. акад. РАН Ю.И. Журавлева. Из-во Самарского государственного университета, 2007.— Вып. 27.— С. 123–128.
8. Foggia P. A Database of Graphs for Isomorphism and Sub-Graph Isomorphism Benchmarking / P. Foggia, C. Sansone, M. Vento // Proc. of the 3-rd IAPR TC-15 International Workshop on Graph Based Representations. — Italy, 2001. —Р. 157–168.
9. Spence E. The Stromgly Regular (40, 12, 2,4) Graphs // The Electronical Journal Of Combinatorics. — 2000. — Vol. 7(1).
10. Ершов А.П. Вычислимость в произвольных областях и базисах// В кн.: Семиотика и информатика. — Вып. 19. —М.: ВИНИТИ, 1979. — С. 3–58.
11. Агафонов В.Н. Спецификация программ: понятийные средства и их организация / В.Н. Агафонов. — Новосибирск: Наука, 1987. — 240 с.
12. Буй Д.Б. Примитивные программные алгебры целочисленных и словарных функций / Д.Б. Буй, В.Н. Редько // Докл. АН УССР. Сер. А. — 1984. — № 10. — С. 69?71.
13. Буй Д.Б. К теории программных алгебр / Д.Б. Буй, А.В. Мавлянов // Укр. мат. журн. —1984.— 36, № 6— С. 761?764.
14. Буй Д.Б. Примитивные программные алгебры: автореф. дис. канд. физ.-мат. наук. — К.,1985.— 22 с.
15. Буй Д.Б. Примитивные программные алгебры / Д.Б. Буй, В.Н. Редько // Кибернетика. —1984.— № 5. — С. 1?7.
16. Буй Д.Б. Примитивные программные алгебры / Д.Б. Буй, В.Н. Редько // Кибернетика. —1985.— № 1. — С. 28?33.
17. Буй Д.Б. Неперервність в індуктивних множинах: основні поняття та допоміжні результати / Д.Б. Буй // Вісник Київського Університету. — К., 1998. — С. 142–148. — (Серія: Фіз.-мат. науки; вип. 1).
18. Буй Д.Б. Неперервність в індуктивних множинах: неперервність суперпозиції та суміжні результати / Д.Б. Буй // Вісник Київського Університету. — К., 1998. — С. 187–195. — (Серія:Фіз.-мат. науки; вип. 2).
19. Буй Д.Б. Неперервність в індуктивних множинах: неперервність рекурсії та суміжні результати / Д.Б. Буй // Вісник Київського Університету. — К., 1998. — С. 128–138. — (Серія: Фіз.-мат. науки; вип. 3).
20. Буй Д.Б. Композиційна семантика SQL-подібних мов: табличні структури даних, композиції, приклади / Буй Д.Б., Поляков С.А. // Вісник Київського Університету. — К., 1999. — С. 130–140. — (Серія: Фіз.-мат. науки; вип. 1).
21. Ершов Ю.Л. Теория нумераций / Ю.Л. Ершов. — М.: Наука, 1977. — 416 с.
22. Голунков Ю.В. О полноте операций в системах алгоритмических алгебр / Ю.В. Голунков // Алгоритмы и автоматы. — Казань: Из-во Казан. ун-та, 1978. — С. 11?53.
23. Новиков Ф.А. Дискретная математика для программистов / Ф.А. Новиков. — СПб: Питер,2000.— 304 с.
24. Мальцев А.И. Конструктивные
Файлы 2010-4-6.pdf