Advertisement

Application of composition development method for definition of SYNTHESIS information resource query language semantics

  • Leonid Kalinichenko
  • Nikolaj Nikitchenko
  • Vladimir Zadorozhny
Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 670)

Abstract

This paper presents the main ideas of the Composition Development Method and its application to the semantics definition of the query language for SYNTHESIS — a system for heterogeneous information resource interoperation. This definition is used for implementation of the query language compiler.

Keywords

Information Resource Query Language Deductive Database Formula Mapping Semantic Definition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abiteboul S. Towards a deductive object-oriented database language. DOOD'89, 1989, p. 419–438.Google Scholar
  2. 2.
    Abrial J.R. A formal approach to large software construction. In Mathematics of program construction, Proceedings of the International Conference, LNCS 375, Springer-Verlag, 1989.Google Scholar
  3. 3.
    Atkinson M., et.al. The object-oriented database system manifesto. DOOD'89, 1989, p. 40–57.Google Scholar
  4. 4.
    Basarab N.A., Lisovsky M.S., Gubsky B.V. An interactive information system for table data structures processing. Control automation and mechanization journal, N. 2, 1986, p. 33–36. (In Russian)Google Scholar
  5. 5.
    Basarab I.A., Nikitchenko N.S., Red'ko V.N. Composition databases. Kiev, Lybid' Publ, 1992, p. 192. (In Russian)Google Scholar
  6. 6.
    Bjorner D., Jones C.B., editors. Formal Specification and Software Development. Prentice-Hall International, 1982, p. 501.Google Scholar
  7. 7.
    Borgida A., Mertikas M., Schmidt J.W., Wetzel I. Specification and refinement of databases and transactions. DAIDA Deliverable, ESPRIT 892, Universitaet Hamburg, Germany, 1990, p. 24.Google Scholar
  8. 8.
    Ceitlin G.E., Yuschenko E.L. Multilevel synthesis of structured programs. Kibernetika journal, N. 5, 1982, p. 11–21. (In Russian)Google Scholar
  9. 9.
    Ceri S., Gottlob G., Tanca L. Logic programming and databases. Springer Verlag, 1990, p. 284.Google Scholar
  10. 10.
    Glushkov V.M. Automata theory and formal transformation of microprograms. Kibernetika journal, N. 5, 1965, p. 1–10. (In Russian)Google Scholar
  11. 11.
    Glushkov V.M., Kapitonova Y.V., Letichevskiy A.A. On application of formalized technical jobs method for design of programs for data structures processing. Programmirovanie journal, N. 6, 1975, p. 31–44. (In Russian)Google Scholar
  12. 12.
    Kalinichenko L.A. An Anatomy of Information Resource Semantic Abstraction. ACM SIGMOD Record, vol. 20, N. 4, 1991, p. 21–24.CrossRefGoogle Scholar
  13. 13.
    Kalinichenko L.A. The interoperable environment of heterogeneous information resources: a generalization perspective. Proc. of the First International Workshop on Interoperability in Multidatabase System, April 1991, Kyoto, p. 196–199.Google Scholar
  14. 14.
    Kalinichenko L.A. Synthesis: a language for description, design and programming of interoperable information resource environment. Technical Report. Institute of Problems of Informatics of the Russian Academy of Sciences, September 1991, p. 101. (In Russian)Google Scholar
  15. 15.
    Kalinichenko L.A. Methods and tools for heterogeneous database integration. Moscow, Science Publ., 1983, p. 423. (In Russian)Google Scholar
  16. 16.
    Kalinichenko L.A., Ryvkin V.M., Chaban I.A. Main features of data manipulation language in SISYPHUS — the system for integrated storage of information. Programmirovanie journal, Moscow, N. 6, 1975. (In Russian)Google Scholar
  17. 17.
    Kalinichenko L., Zadorozhny V. A generalized information resource query language and basic query evaluation technique. Proc. of the Second Int. Conf. on DOOD, Munich, December 1991, LNCS 566, p. 546–566.Google Scholar
  18. 18.
    Nikitchenko N. Composition semantics of programming languages. Programmirovanie journal, N. 6, 1982, p. 9–18. (In Russian)Google Scholar
  19. 19.
    Nikitchenko N., Zadorozhny V. An algebraic approach to deductive databases query languages formalization. Programmirovanie journal, N. 6, 1992, p. 29–47. (In Russian)Google Scholar
  20. 20.
    Red'ko V.N. Composition of programs and composition programming. Programmirovanie journal, N. 5, 1978, p. 3–24. (In Russian)Google Scholar
  21. 21.
    Red'ko V.N. Fundamentals of composition programming. Programmirovanie journal, N. 3, 1979, p. 3–13. (In Russian)Google Scholar
  22. 22.
    Red'ko V. Semantics structures of programs. Programmirovanie journal, N. 1, 1981, p. 3–19. (In Russian)Google Scholar
  23. 23.
    Red'ko V.N., Nikitchenko N.S. Composition aspects of programmology. Kibernetika journal, part 1, N. 5, 1987, p. 49–56, part 2, N. 1, 1988, p. 28–34. (In Russian)Google Scholar
  24. 24.
    Sheth A., Larson J. Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Computing Surveys, v. 22, N. 3, 1990, p. 183–236.CrossRefGoogle Scholar
  25. 25.
    Spivey J.M. The Z Notation. A reference manual. Prentice-Hall, 1989, p. 155.Google Scholar
  26. 26.
    Tiugu E.H. Conceptual programming. Moscow, Science Publ., 1984, p. 256. (In Russian)Google Scholar
  27. 27.
    Velbitskiy I.V. Technology of programming. Kiev, Tehnika Publ., 1989, p. 279. (In Russian)Google Scholar
  28. 28.
    Volohov V.N., Voronov S.V. DEFIPS: an automated system for language processors design. Control systems and machins journal, N. 3, 1984, p. 69–73. (In Russian)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Leonid Kalinichenko
    • 1
  • Nikolaj Nikitchenko
    • 2
  • Vladimir Zadorozhny
    • 1
  1. 1.Institute of Problems of InformaticsRussian Academy of SciencesMoscow
  2. 2.Faculty of CyberneticsKiev UniversityKiev-17Ukraine

Personalised recommendations