IPRI - www.ipri.kiev.ua - IPRI - www.ipri.kiev.ua -
Title (journal) Data Rec., Storage & Processing. — 2010. — Vol. 12, N 2.
Pages 54-61
PDF, full text
Title (article) An Algebraic Characteristic of the Class of Graph Transformers Saving Denotations
Authors Redko I.V., Snigur N.M.
Kiev, Ukraine
Annotation 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.
Key words algebra оf functions and predicates, saving denotations, finite graph, function and predicat of random arity saving denotations, search for generating and basic sets.
References 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