Buy Dmytro Borysovych




Surname: Buy

Name: Dmytro

Last name: Borysovych

Post PhD

buy@unicyb.kiev.ua

Professor, Doctor of Science.
Dean of Research, Head of Laboratory programming problems

He graduated from Kyiv University in 1980. During 1981-1984 he studied in graduate school led by Professor VNRedko. In 1985 he defended his thesis on “Primitive program algebras.” Title Senior Scientist in “Mathematical Cybernetics” was in 1990 as head of the laboratory holds since 1997 In 2002 he defended his doctoral thesis entitled “Theory of program algebras of composite type and its applications.”

The Faculty of Cybernetics reading courses normative “theory of algorithms and mathematical logic,” “Applied Logic”, and special courses “Introduction to Relational Databases”, “Compositional semantics SQL”.

Research Interests:

  • Theory of program algebras of composite type;
  • theory of fixed points;
  • Theory of databases;
  • compositional semantics of SQL language
  • modern CASE-tools.

E-mail: buy@unicyb.kiev.ua

Author of more than 70 scientific papers and a joint monograph.

Publications:

  1. Bui D., Redko VN Prohrammolohycheskye aspects of the method nepodvyzhnoy point / / Cybernetics and systems analysis. – 1994. – № 5. – S. 158-167.
  2. Bui D., Redko VN Nepodvyzhnыe point and operatorы zamыkanyya: prohrammolohycheskye aspects / / Cybernetics and systems analysis. – 1995. – № 1. – S. 113-121.
  3. Redko VN, Bui D. K bases theory relyatsyonnыh databases / / Cybernetics and systems analysis. – 1996. – № 4. – S. 3-13.
  4. Redko VN, armor YI, Bui D. Vzaymnaya neproyzvodnost and vыrazytelnaya force operatsyy relyatsyonnыh algebras / / Reports of the National Academy of Sciences of Ukraine. Mathematics. Nature-doznavstvo. Engineering. – 1996. – № 11. – S. 84-88.
  5. Bui D. Continuity in ynduktyvnыh multitude. Part 1: superposition. Part 2: rekursyya / / Problems of programming. – 1998. – Vol. 3,4. – S. 3-19.
  6. Bui D., Polyakov S. Compositional semantics of SQL-like language: tabular data structure, composition, examples / / Bulletin of Kiev University. August. Sci. science. – 1999. – Vol. 1,2. – S. 130-140, S. 183-194.
  7. Bui D. Systems of Equations in inductive sets / / Bulletin of Kiev University. August. Sci. science. – 1999. – Vol. 3. – S. 147-171.
  8. Brona Yu.Y., Bui D., Polyakov S. Compositional semantics of SQL-like languages ??connection operations / / Bulletin of Kiev University. August. Sci. science. – 1999. – Vol. 4. – S.100-104.
  9. Brona Yu.Y., Bui D., S. Zagorski, SA Polyakov Compositional semantics of SQL-like language: aggregate functions / / Bulletin of Kiev University. August. Sci. science. – 2000. – Vol. A. – S. 178-192.
  10. Brona Yu.Y., Bui D., S. Zagorski, SA Polyakov Compositional semantics of SQL-like languages ??grouping, data manipulation, examples / / Bulletin of Kiev University. August. Sci. science. – 2000. – Vol. 2. – S. 177-185.
  11. Brona Yu.Y., Bui D., S. Zagorski, SA Polyakov Compositional semantics of aggregate functions SQL-like language / / Problems of programming. – 2000. – № 1-2. – S. 554-565.
  12. Bui D. Systems of equations in inductive sets: a method of Gauss invariant transformation, the relationship between recursion and superposition, pohidnist multi-recursive / / Problems of programming. – 2000. – № 1-2. – S. 63-74.
  13. Redko VN, Brona Yu.Y., Bui D., Polyakov S. Relational databases: tabular algebra and SQL-like language. – Kyiv: Publishing House “Academperiodicals”, 2001. – 198 p.
  14. Bui D. Compositional semantics manipulation activities: maintaining referents, characteristics, obchyslyuvanist necessary conditions for completeness / / Bulletin of Kiev University. August. Sci. science. – 2002. – Vol. A. – S. 169-189.
  15. Bui D. Theory of program algebras of composite type and its applications: Dis. Doctor. Sci. Science 01.05.03. – Kyiv, 2002. – 365 p.
  16. 1. Bui DB The method of fixed point in prohramolohiyi: general theory. Selected questions prohramolohiyi. Proceedings of the seminar “Prohramolohiya and its application.” – Kyiv, 2007, 64-112s.
    2. Bui DB, MS Nikitchenko Vladimir Nikiforovich Redko: scientist and teacher. Selected questions prohramolohiyi. Proceedings of the seminar “Prohramolohiya and its application.” – Kyiv, 2007, 7-21s.
    3. Bui D., Polyakov SA, Shyshatskaya EV Three zamechanyya at trehznachnoy logic wedges. Proceedings of International Conference TAAPSD `2007, 4-9 September, Berdyansk, pp. 47-51.
    4. Bui DB, Nikitchenko MS, Omelchuk LL Redko VN Shishac’ka O. Classification of languages ​​and techniques formal specification of software systems. International conference “TAAPSD` 2008 ‘. Abstracts. – Kyiv-Chernihiv, 2008 – pp. 27-33.
    5. DB Bui, IN Glushko. Generalized tabular algebra, calculus of generalized strings generalized calculus on the domain and their equivalence. Bulletin of Kyiv National Taras Shevchenko. August.: Sci. science. – 2011. – Vol. 1. – P.86-95.
    6. DB Bui, IN Glushko. Expanding relational (tabular) algebra: a literature review. Bulletin of Kyiv National Taras Shevchenko. August.: Sci. science. – 2011. – Vol. 2. – P.78-82
    7. Bui DB, AV Puzikov Completeness of Armstrong axioms. Bulletin of Kyiv National Taras Shevchenko. August.: Sci. science. – 2011. – Vol. 3. – P.108-113
    8. Bui D., Glushko IM Obobschennaya tablychnaya algebra obobschennoe yschyslenye term and domains and make them эkvyvalentnost. XIV International Scientific and Technology conference “Modeling, Identification, Synthesis of Control 2011″, Alushta, 11-18 September, 2011. – C. 185-186.
    9. Bui D., Glushko IM Equivalence of finite subalgebra tables tabular algebra endless tables and corresponding relational calculus. Theoretical and applied aspects of building software systems: International Conference, 19-23 September 2011, Alushta, Ukraine.
    10. DB Bui, S. Compan. Formalyzatsyya objects, classes, methods in object-oriented databases data. Proceedings of international conference “Problems of Cybernetics teoretycheskoy”, 20-25 June. – Nizhniy Novgorod. – 2011. – C. 81-85.
    11. DB Bui, A. Puzykova. Completeness axiomatics Armstrong. Proceedings of international conference “Problems of Cybernetics teoretycheskoy”, 20-25 June. – Nizhniy Novgorod. – 2011. – C. 85-88.
    12. Dmitriy Buy, Anna Puzikova. Completeness of Armstrong’s axiomatic. First International Workshop Critical Infrastructure Safety and Security (CrISS-DESSERT’11), Kirovograd, Ukraine, May, 11-13 2011, Proceedings Volume 1, P.211-215.
    13. Dmitriy Buy, Sergiy Kompan. The Concepts of Object, Class, Inheritance, Life Cycle: Formalization. First International Workshop Critical Infrastructure Safety and Security (CrISS-DESSERT’11), Kirovograd, Ukraine, May, 11-13 2011, Proceedings Volume 1, P.236-244.
    14. Bui DB, AV Puzikov Criterion completeness axioms Armstrong. Proceedings of the 8th International Conference “Theoretical and practical aspects of building software systems» – TAAPSD’2011, Alushta, Ukraine, 19-23 September 2011
    15. Bui D., Glushko IM Table Algebras of Infinite (Finite) Tables, Corresponding Relational Calculi and Theirs Equivalence. Proceedings of the First International Seminar “Specification and Verification of Hybriv Systems” (10-12 October 2011 Kyiv, Ukraine). – P. 75-84.
    16. Bui DB, Bohatыreva YA Theory multymnozhestv: surgery, structure, computability. Problems teoretycheskoy Science. Arriving XVI international conference, Nizhny Novgorod, Russia, 20-25 June 2011, S. 69-72.
    17. Bohatyryova JO, Bui D., radish VN Primitive program algebras multiple functions (multymnozhynnyh) arguments and values. Reports of the National Academy of Sciences of Ukraine. Scientific and theoretical journal of the Presidium of NAS of Ukraine. – № 9. – 2011.
    18. Bui DB, Bohatyryova YA Multiset theory: basic definitions, operations, partial orders, obchyslyuvanist. Proceedings of the 8th International Conference “Theoretical and practical aspects of building software systems» – TAAPSD’2011, Yalta, Ukraine, 19-23 September 2011
    19. Bui DB, Bohatyryova YA Multisets: Operations, Partial Order, Computability, Applications. Proceedings of the First International Seminar “Specification and Verification of Hybriv Systems” (10-12 October 2011, Kyiv, Ukraine). – P. 70-74.
    20. Bui D., Polyakov S. Operating and denotatsiyna semantics of recursive queries in the tabular database. Proceedings of the 8th International Conference “Theoretical and practical aspects of building software systems» – TAAPSD’2011, Alushta, Ukraine, 19-23 September 2011
Новини
Дошка оголошень
Цікаві факти