{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:34Z","timestamp":1725456034375},"publisher-location":"Berlin\/Heidelberg","reference-count":28,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540566627"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024660","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T10:09:15Z","timestamp":1132740555000},"page":"428-441","source":"Crossref","is-referenced-by-count":0,"title":["Application of composition development method for definition of SYNTHESIS information resource query language semantics"],"prefix":"10.1007","author":[{"given":"Leonid","family":"Kalinichenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolaj","family":"Nikitchenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Zadorozhny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Abiteboul S. Towards a deductive object-oriented database language. DOOD'89, 1989, p. 419\u2013438."},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/3-540-51305-1_1"},{"key":"27_CR3","unstructured":"Atkinson M., et.al. The object-oriented database system manifesto. DOOD'89, 1989, p. 40\u201357."},{"key":"27_CR4","first-page":"33","volume":"N. 2","author":"N.A. Basarab","year":"1986","unstructured":"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\u201336. (In Russian)","journal-title":"Control automation and mechanization journal"},{"key":"27_CR5","first-page":"192","volume-title":"Composition databases","author":"I.A. Basarab","year":"1992","unstructured":"Basarab I.A., Nikitchenko N.S., Red'ko V.N. Composition databases. Kiev, Lybid' Publ, 1992, p. 192. (In Russian)"},{"key":"27_CR6","unstructured":"Bjorner D., Jones C.B., editors. Formal Specification and Software Development. Prentice-Hall International, 1982, p. 501."},{"key":"27_CR7","first-page":"24","volume-title":"DAIDA Deliverable, ESPRIT 892","author":"A. Borgida","year":"1990","unstructured":"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."},{"key":"27_CR8","first-page":"11","volume":"N. 5","author":"G.E. Ceitlin","year":"1982","unstructured":"Ceitlin G.E., Yuschenko E.L. Multilevel synthesis of structured programs. Kibernetika journal, N. 5, 1982, p. 11\u201321. (In Russian)","journal-title":"Kibernetika journal"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Ceri S., Gottlob G., Tanca L. Logic programming and databases. Springer Verlag, 1990, p. 284.","DOI":"10.1007\/978-3-642-83952-8"},{"key":"27_CR10","first-page":"1","volume":"N. 5","author":"V.M. Glushkov","year":"1965","unstructured":"Glushkov V.M. Automata theory and formal transformation of microprograms. Kibernetika journal, N. 5, 1965, p. 1\u201310. (In Russian)","journal-title":"Kibernetika journal"},{"key":"27_CR11","first-page":"31","volume":"N. 6","author":"V.M. Glushkov","year":"1975","unstructured":"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\u201344. (In Russian)","journal-title":"Programmirovanie journal"},{"issue":"N.4","key":"27_CR12","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/141356.141360","volume":"20","author":"L.A. Kalinichenko","year":"1991","unstructured":"Kalinichenko L.A. An Anatomy of Information Resource Semantic Abstraction. ACM SIGMOD Record, vol. 20, N. 4, 1991, p. 21\u201324.","journal-title":"ACM SIGMOD Record"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"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\u2013199.","DOI":"10.1109\/IMS.1991.153705"},{"key":"27_CR14","unstructured":"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)"},{"key":"27_CR15","first-page":"423","volume-title":"Methods and tools for heterogeneous database integration","author":"L.A. Kalinichenko","year":"1983","unstructured":"Kalinichenko L.A. Methods and tools for heterogeneous database integration. Moscow, Science Publ., 1983, p. 423. (In Russian)"},{"key":"27_CR16","unstructured":"Kalinichenko L.A., Ryvkin V.M., Chaban I.A. Main features of data manipulation language in SISYPHUS \u2014 the system for integrated storage of information. Programmirovanie journal, Moscow, N. 6, 1975. (In Russian)"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"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\u2013566.","DOI":"10.1007\/3-540-55015-1_29"},{"key":"27_CR18","first-page":"9","volume":"N. 6","author":"N. Nikitchenko","year":"1982","unstructured":"Nikitchenko N. Composition semantics of programming languages. Programmirovanie journal, N. 6, 1982, p. 9\u201318. (In Russian)","journal-title":"Programmirovanie journal"},{"key":"27_CR19","first-page":"29","volume":"N. 6","author":"N. Nikitchenko","year":"1992","unstructured":"Nikitchenko N., Zadorozhny V. An algebraic approach to deductive databases query languages formalization. Programmirovanie journal, N. 6, 1992, p. 29\u201347. (In Russian)","journal-title":"Programmirovanie journal"},{"key":"27_CR20","first-page":"3","volume":"N. 5","author":"V.N. Red'ko","year":"1978","unstructured":"Red'ko V.N. Composition of programs and composition programming. Programmirovanie journal, N. 5, 1978, p. 3\u201324. (In Russian)","journal-title":"Programmirovanie journal"},{"key":"27_CR21","first-page":"3","volume":"N. 3","author":"V.N. Red'ko","year":"1979","unstructured":"Red'ko V.N. Fundamentals of composition programming. Programmirovanie journal, N. 3, 1979, p. 3\u201313. (In Russian)","journal-title":"Programmirovanie journal"},{"key":"27_CR22","first-page":"3","volume":"N. 1","author":"V. Red'ko","year":"1981","unstructured":"Red'ko V. Semantics structures of programs. Programmirovanie journal, N. 1, 1981, p. 3\u201319. (In Russian)","journal-title":"Programmirovanie journal"},{"key":"27_CR23","first-page":"49","volume":"N. 5","author":"V.N. Red'ko","year":"1987","unstructured":"Red'ko V.N., Nikitchenko N.S. Composition aspects of programmology. Kibernetika journal, part 1, N. 5, 1987, p. 49\u201356, part 2, N. 1, 1988, p. 28\u201334. (In Russian)","journal-title":"Kibernetika journal"},{"issue":"N.3","key":"27_CR24","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1145\/96602.96604","volume":"22","author":"A. Sheth","year":"1990","unstructured":"Sheth A., Larson J. Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Computing Surveys, v. 22, N. 3, 1990, p. 183\u2013236.","journal-title":"ACM Computing Surveys"},{"key":"27_CR25","unstructured":"Spivey J.M. The Z Notation. A reference manual. Prentice-Hall, 1989, p. 155."},{"key":"27_CR26","first-page":"256","volume-title":"Conceptual programming","author":"E.H. Tiugu","year":"1984","unstructured":"Tiugu E.H. Conceptual programming. Moscow, Science Publ., 1984, p. 256. (In Russian)"},{"key":"27_CR27","first-page":"279","volume-title":"Technology of programming","author":"I.V. Velbitskiy","year":"1989","unstructured":"Velbitskiy I.V. Technology of programming. Kiev, Tehnika Publ., 1989, p. 279. (In Russian)"},{"key":"27_CR28","first-page":"69","volume":"N. 3","author":"V.N. Volohov","year":"1984","unstructured":"Volohov V.N., Voronov S.V. DEFIPS: an automated system for language processors design. Control systems and machins journal, N. 3, 1984, p. 69\u201373. (In Russian)","journal-title":"Control systems and machins journal"}],"container-title":["Lecture Notes in Computer Science","FME '93: Industrial-Strength Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024660.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:53:08Z","timestamp":1607550788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024660"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540566627"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0024660","relation":{},"subject":[]}}