Граматика мови опису завдань на генерування баз даних

2012;
: cc. 239 - 246
Authors: 

В. Овсяк, С. Кулик

Українська академія друкарства

Засобами алгебри секвенційних алгоритмів описано розроблені синтаксис і семантику мови опису завдань на створення бази даних.

By means of sequential algebra algorithms described are designed syntax and semantice describing tasks on a database.

  1. Kleene S.C.: General recursive functions of natural numbers //Mathematische Annalen. – Bd. 112,H. 5. – S. 727–742.
  2. Church A.: An unsolvable problem of elementary number theory. American Journal of Mathematics, vol. 58 (1936), pp. 345-363.
  3. Turing A. M.: On computable numbers, with an application to the Entscheidungsproblem. Proceedings of London Mathematical Society, series 2, vol. 42 (1936-1937), pp. 230– 265; correction, ibidem, vol. 43, pp. 544-546. Reprinted in [13 Davis M., pp. 155-222] and available online at http://www.abelard.org/turpap2/tp2-ie.asp.
  4. Post E. L. (1936), Finite Combinatory Processes - Formulation 1. Journal of Symbolic Logic, 1, pp. 103-105, 1936. Reprinted in The Undecidable, pp. 289ff.
  5. Колмогоров А.Н. О понятии алгоритма //УМН. – Т.8, вып. 4 (56). 1953. – С. 175–176.
  6. Aho A.V, Hopcroft J.E, Ullman J.D.: The design and analysis of computer algorithms. Addison-Wesley Publishing Company, 1974.
  7. Schönhage A.: Universelle Turing Speicherung. In J. Dörr and G. Hotz, Editors, Automatentheorie und Formale Sprachen, Bibliogr. Institut, Mannheim, 1970, pp. 369–383.
  8. Марков А.А. Теория алгорифмов // Труды МИАН. – Т.38. 1951. – С. 176–189.
  9. Криницкий Н.А. Алгоритмы вокруг нас. – М.: Наука. 1984. – 224 с.
  10. Цейтлин Г.Е., Яценко Е.А. Элементы алгебраической алгоритмики и объектно- ориентированный синтез параллельных программ. Математичні машини і системи, 2003, № 2. – С. 64–76.
  11. Owsiak W., Owsiak A. Rozszrzerzenie algebry algorytmów //Pomiary, automatyka, kontrola 2, 2010. –S.184–188.
  12. Овсяк О.В. Класи інформаційної системи генерування коду / Вісник Тернопільського державного технічного університету, № 1, 2010. – С.171–176.