Title (journal) | Data Rec., Storage & Processing. — 2010. — Vol. 12, N 2. |
Pages | 54-61 |
![]() |
|
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
|