{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:46Z","timestamp":1725664006458},"publisher-location":"Berlin, Heidelberg","reference-count":61,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540560395"},{"type":"electronic","value":"9783540473602"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-56039-4_32","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T05:55:42Z","timestamp":1330235742000},"page":"51-70","source":"Crossref","is-referenced-by-count":2,"title":["Database theory in Russia (1979\u20131991) (an overview)"],"prefix":"10.1007","author":[{"given":"M. Sh.","family":"Tsalenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"3_CR1","unstructured":"S.Abietboul, C.Beeri. On the power of languages for manipulation of complex objecta. INRIA 1987."},{"key":"3_CR2","unstructured":"V.L. Arlasarov, Ye.A. Dinits. On the theory of instrumental systems. In: System researches. M.: Nauka, 1983, pp. 279\u2013292."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"ANSI\/X3\/SPARC DBMS Framework: Interim report of the Study Group on DBMS. 1977.","DOI":"10.1016\/0306-4379(78)90001-7"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"W.W.Armstrong. Dependency Structures in Database Relationships. Inform Processing-74, North-Holland, 1974, pp.580\u2013583.","DOI":"10.1515\/9783110840308-026"},{"key":"3_CR5","unstructured":"M.A. Babushkin, M.Sh. Tsalenko. The relational data model with incomplete information: non-procedural query language and its interpretation (in Russian). In: Thesiay dokl. Vsesojuz. konferencii po iskusstvennomu intellectu. Pereslavl-Zalesskij, 1988, pp.326\u2013332."},{"key":"3_CR6","first-page":"112","volume":"64","author":"C. Banchilhon","year":"1978","unstructured":"C.Banchilhon. On the completeness of query language for relational data bases. LNCS, 1978, v. 64,pp. 112\u2013123.","journal-title":"LNCS"},{"key":"3_CR7","unstructured":"Banki dannych. Thesisy dokladov II vsesojuz. konf. Kiev, 1983."},{"issue":"NI","key":"3_CR8","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1137\/0213006","volume":"13","author":"C. Beeri","year":"1984","unstructured":"C.Beeri, M.Y.Vardi. Formal systems for tuple and equality generating dependencies. SIAM J. Comput., 1984, v. 13, NI, pp.76\u201398.","journal-title":"SIAM J. Comput."},{"issue":"N1","key":"3_CR9","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/2422.322414","volume":"34","author":"C. Beeri","year":"1984","unstructured":"C.Beeri, M.Doud, R.Fagin, R.Statman. On the structure of Armstrong Relations For Functional Dependencies. J. of ACM, 1984, v. 34, N1, pp.30\u201346.","journal-title":"J. of ACM"},{"key":"3_CR10","unstructured":"N.Belnap, T.Steel. The logic of questions and answers. Yale Univ.Press, 1976."},{"key":"3_CR11","first-page":"44","volume":"14","author":"Y. Beniaminov","year":"1979","unstructured":"Ye.M.Beniaminov. An algebraic approacch to the relational data model. Semiotika, i informatika, 1979, v. 14, pp.44\u201380.","journal-title":"Semiotika, i informatika"},{"issue":"N3","key":"3_CR12","first-page":"23","volume":"2","author":"Y. Beniaminov","year":"1980","unstructured":"Ye.M.Beniaminov. An algebreic structure of the relational data bases. Nauchno-tekhn. inform., ser. 2, 1980, N3, pp. 23\u201325.","journal-title":"Nauchno-tekhn. inform., ser."},{"issue":"N5","key":"3_CR13","first-page":"17","volume":"2","author":"Y. Beniaminov","year":"1984","unstructured":"Ye.M.Beniaminov. On the role of symmetry in the relational data model and logical structures. Nauckno-tekn. inform., ser 2, 1984, N5, pp.17\u201325.","journal-title":"Nauckno-tekn. inform., ser"},{"key":"3_CR14","first-page":"389","volume":"47","author":"V.A. Brudno","year":"1989","unstructured":"V.A.Brudno. Valuations in Incomplete Information Databases. Inform. Syst., 1989, v. 47, pp.389\u2013398.","journal-title":"Inform. Syst."},{"key":"3_CR15","unstructured":"V.A.Brudno. A DB as a constructive logic model (to appear in \u201dAutomatika i telemekhanika\u201d)."},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/0020-0190(83)90068-6","volume":"16","author":"M.A. Casanova","year":"1983","unstructured":"M.A.Casanova. Theory of Functional and Subset Dependencies over Relation Expressions. Inform. Process. Letters, 1983, v.16, pp. 153\u2013166.","journal-title":"Inform. Process. Letters"},{"key":"3_CR17","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0022-0000(82)90012-5","volume":"25","author":"A.K. Chandra","year":"1982","unstructured":"A.K.Chandra. D.Harel. Structure and Complexity of Relational Queries. J.Comp. Syst. Sci., 1982, v. 25, pp.99\u2013128.","journal-title":"J.Comp. Syst. Sci."},{"issue":"N4","key":"3_CR18","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1145\/320107.320109","volume":"4","author":"E.F. Codd","year":"1979","unstructured":"E.F.Codd. Extending the Database Relational Model to Capture More Meaning. ACM Trans on Datebase Systems, 1979, v. 4, N4, pp. 397\u2013434.","journal-title":"ACM Trans on Datebase Systems"},{"key":"3_CR19","volume-title":"Universal algebra","author":"P.M. Cohn","year":"1965","unstructured":"P.M.Cohn. Universal algebra. N.Y.: Harper and Row, 1965."},{"issue":"N3","key":"3_CR20","doi-asserted-by":"crossref","first-page":"678","DOI":"10.1145\/322326.322331","volume":"29","author":"R. Fagin","year":"1982","unstructured":"R.Fagin. Horn clauses and database dependencies. J. of ACM, 1982, v. 29, N3, pp. 678\u2013698.","journal-title":"J. of ACM"},{"key":"3_CR21","unstructured":"Feature analysis of generalized data base management systems. CODASYL SYSTEMS COMMITEE, 1971."},{"key":"3_CR22","first-page":"3","volume-title":"Itogy nauki i tekhniki. Theoriya veroyatnostej. V.28","author":"V.K. Finn","year":"1988","unstructured":"V.K.Finn. Approximate inferences and approximate reasorning. Itogy nauki i tekhniki. Theoriya veroyatnostej. V.28, Moscow, VINTTI, 1988, pp.3\u201384."},{"key":"3_CR23","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0304-3975(83)90084-1","volume":"26","author":"S. Ginsburg","year":"1983","unstructured":"S.Ginsburg, R.Hull. Order dependencies in the relational model. Theoret. Comput. Sci., 1983, v.26, pp. 149\u2013195.","journal-title":"Theoret. Comput. Sci."},{"key":"3_CR24","first-page":"92","volume":"N2","author":"A.O. Golosov","year":"1983","unstructured":"A.O.Golosov, M.Sh.Tsalenko. Relational database schemes: normalisation theory and design of normal forms. Prikladnaya informatika, 1983, N2, pp. 92\u2013119.","journal-title":"Prikladnaya informatika"},{"issue":"N3","key":"3_CR25","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1016\/0020-0255(89)90007-8","volume":"47","author":"O. Gorchinskaya","year":"1989","unstructured":"O.Yu.Gorchinskaya. Join dependencies in database design. Information Sciences, 1989, v.47, N3, pp.373\u2013388.","journal-title":"Information Sciences"},{"issue":"N3","key":"3_CR26","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/0020-0255(89)90004-2","volume":"47","author":"L.A. Gusev","year":"1989","unstructured":"L.A.Gusev, S.V.Petrov, L.A.Tenenbaum. Relations, dependencies and some problems of system theory. Information sciences, 1989, v.47, N3, pp. 339\u2013372.","journal-title":"Information sciences"},{"key":"3_CR27","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1016\/0022-0000(84)90077-1","volume":"28","author":"T. Imielinski","year":"1984","unstructured":"T.Imielinski, W.Lipski. The relational model of data and cylindric algebras. J. of Comp. and Syst, Sci., 1984, v.28, pp.80\u2013102.","journal-title":"J. of Comp. and Syst, Sci."},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"N.Immerman. Relational queries computable in polynomial time. Proc. of 14th ACM symp. on theory of computing. San. Francisco, 1982, pp.147\u2013158.","DOI":"10.1145\/800070.802187"},{"key":"3_CR29","first-page":"134","volume":"405","author":"M. Iofinova","year":"1991","unstructured":"M.Ye.Iofinova. Updating hierarchical databases by complex forms. LNCS, v.405, 1991, pp.134\u2013145.","journal-title":"LNCS"},{"key":"3_CR30","volume-title":"Methods and tools of integration of databases with different data models","author":"L.A. Kalinichenko","year":"1983","unstructured":"L.A.Kalinichenko. Methods and tools of integration of databases with different data models. Moscow, Nauka, 1983."},{"key":"3_CR31","first-page":"615","volume":"526","author":"M.I. Kanovich","year":"1991","unstructured":"M.I.Kanovich. Efficient program synthesis; semantics, logic, complexity. LNCS, v.526, 1991, pp. 615\u2013632.","journal-title":"LNCS"},{"issue":"N3","key":"3_CR32","first-page":"867","volume":"32","author":"M.I. Kanovich","year":"1985","unstructured":"M.I.Kanovich. Efficient logical algorithms of analysis and synthesis of dependencies. Soviet. Math. Dokl., 1985, v.32, N3, pp. 867\u2013871.","journal-title":"Soviet. Math. Dokl."},{"key":"3_CR33","unstructured":"M.R.Kogalovskij, V.V.Kogutovskij. Mechanisms of conceptual level DBMS MUSSON. In: Tekhnika realisazii, mnogourovnevych system upravleniya basami dannych. Moscow, 1982, pp.20\u201357."},{"key":"3_CR34","first-page":"269","volume":"364","author":"E.A. Komissartshik","year":"1989","unstructured":"E.A.Komissartshik. Restructuring and dependencies in databases. LNCS, 1989, v.364, pp.269\u2013284.","journal-title":"LNCS"},{"issue":"N6","key":"3_CR35","first-page":"28","volume":"2","author":"A.B. Livchak","year":"1981","unstructured":"A.B.Livchak. Relational database models and computing in polynomial time. Nauchno-tekhn. inform. ser. 2, 1981, N6, pp.28\u201329.","journal-title":"Nauchno-tekhn. inform. ser."},{"issue":"N8","key":"3_CR36","first-page":"29","volume":"2","author":"A.B. Livchak","year":"1983","unstructured":"A.B.Livchak, A.Ya.Ovsyannikov. On computable queries in relational databases. Nauchno-tekiui. inform., ser. 2, 1983, N8, pp.29\u201331.","journal-title":"Nauchno-tekiui. inform., ser."},{"key":"3_CR37","unstructured":"D.Maier. The theory of relational databases. Computer Science Press. 1983."},{"key":"3_CR38","first-page":"337","volume":"364","author":"T.A. Malyuta","year":"1989","unstructured":"T.A.Malyuta, V.V.Pasichnik, A.A.Stogniy. Meana for management of relational fuzzy databases \u2014 way to merging of systems of databases and knowledge bases. LNCS, 1989, v.364, pp.337\u2013346.","journal-title":"LNCS"},{"key":"3_CR39","first-page":"82","volume":"N5","author":"M.A. Mikheyenkova","year":"1986","unstructured":"M.A.Mikheyenkova, V.K.Finn, Concerning a class of expert systems with incomplete information. Izv.Acad.Nauk SSSR, Tekhn. cybernetika., 1986, N5, pp. 82\u2013103.","journal-title":"Izv.Acad.Nauk SSSR, Tekhn. cybernetika."},{"key":"3_CR40","first-page":"58","volume":"N6","author":"Y. Neklyudova","year":"1979","unstructured":"Ye.A.Neklyudova, M.Sh.Tsalenko. Synthesis of a logical scheme for the relational database. Programmairovanie, 1979, N6, pp.58\u201368.","journal-title":"Programmairovanie"},{"key":"3_CR41","unstructured":"A.Ola, G.Ozsoyoglu. A family of incomplete information in relational database models. Proc. of 15th Int. conf. on VLDB, 1989, pp.23\u201331."},{"key":"3_CR42","unstructured":"V.A.Parfenov, M.Sh.Tsalenko, Armstrong relations for functional and multivalued dependencies. In: Thesisy dokl. of All-union konf. \u201cSemiotic aspects of formalisation of intellectual activity\u201d, Borzomi, 1988, pp."},{"key":"3_CR43","unstructured":"S.V.Petrov. On the axiomatisation of join dependencies. Proc. of 4th Allunion conf. on mathematical logic methods. Yallinn, 1986, pp.151\u2013153."},{"issue":"N3","key":"3_CR44","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0020-0255(89)90006-6","volume":"47","author":"S.V. Petrov","year":"1989","unstructured":"S.V.Petrov. Finite axiomatisation of languages for representation of system properties. Information sciences, 1989, v.47, N3, pp.267\u2013286.","journal-title":"Information sciences"},{"key":"3_CR45","volume-title":"Universal algebra, algebraic logic and databases","author":"B.I. Plotkin","year":"1991","unstructured":"B.I.Plotkin. Universal algebra, algebraic logic and databases, Moscow, Nauka, 1991."},{"key":"3_CR46","doi-asserted-by":"crossref","unstructured":"B.I.Plotkin. Galois theory of databases. In: Algebra, some current trends. Springer, 1988, pp.147\u2013162.","DOI":"10.1007\/BFb0082023"},{"key":"3_CR47","unstructured":"B.I.Plotkin. Halmos (polyadic) algebras on database theory. Colloqnia Mathematika societatis Janos Bolyai, 54, Algebraic Logic, Budapest, 1988, pp. 503\u2013518."},{"key":"3_CR48","first-page":"3","volume":"N3","author":"V.N. Red'ko","year":"1979","unstructured":"V.N.Red'ko. Foundations of composite programming. Programmirovanie, 1979, N3, pp.3\u201313.","journal-title":"Programmirovanie"},{"key":"3_CR49","first-page":"3","volume":"N1","author":"V.N. Red'ko","year":"1981","unstructured":"V.N.Red'ko. Semantic structures of programs. Programmirovanie, 1981, N1, pp.3\u201319.","journal-title":"Programmirovanie"},{"issue":"N4","key":"3_CR50","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1145\/49346.49347","volume":"13","author":"M. Roth","year":"1988","unstructured":"M.Roth, H.Korth, A.Silberschatz. Extended Algebra and Calculus for Nested Relational Databases. ACM Trans. on Database Systems, 1988, v. 13, N4, pp. 389\u2013417.","journal-title":"ACM Trans. on Database Systems"},{"key":"3_CR51","unstructured":"V.Yu.Sazonov. Hereditarily-finite sets with attributes, databases and polynomial-time computability. In:Actes Preliminaires du Symposium Franco-Sovietique INFORMATIKA-91, INRIA, 1991, pp.113\u2013132."},{"issue":"N3","key":"3_CR52","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/0020-0255(89)90005-4","volume":"47","author":"L.A. Tenenbaum","year":"1989","unstructured":"L.A.Tenenbaum. Relational decomposition and structural analysis of systems. Information sciences, 1989, v.47, N3, pp.287\u2013338.","journal-title":"Information sciences"},{"key":"3_CR53","first-page":"367","volume":"364","author":"L.A. Tenenbaum","year":"1989","unstructured":"L.A.Tenenbaum. Blocks and projections syntesis in relational databases. LNCS, v.364, 1989, pp.367\u2013381.","journal-title":"LNCS"},{"key":"3_CR54","first-page":"173","volume":"N8","author":"L.A. Tenenbaum","year":"1990","unstructured":"L.A.Tenenbaum. Indentification of blocks in relational databases. Automatika i telemekkanika, 1990, N8, pp. 173\u2013182 (Russian).","journal-title":"Automatika i telemekkanika"},{"key":"3_CR55","volume-title":"Modeling semantics in data bases","author":"M. Tsalenko","year":"1989","unstructured":"M.Sh.Tsalenko. Modeling semantics in data bases. Moscow, Nauka, 1989."},{"key":"3_CR56","doi-asserted-by":"crossref","unstructured":"Ye.P.Yemelchenkov, M.Sh.Tsalenko. Functional dependencies in hierarchical structures of data. LNCS, v.495, pp.258\u2013275.","DOI":"10.1007\/3-540-54009-1_19"},{"issue":"N8","key":"3_CR57","first-page":"16","volume":"2","author":"T. Yanko","year":"1987","unstructured":"T.Ye.Yanko. Dialog natural language systems with a data bank. Nauchnotekhn. inform., ser. 2, 1987, N8, pp.16\u201322.","journal-title":"Nauchnotekhn. inform., ser."},{"key":"3_CR58","volume-title":"Introduction to DBMS INES","author":"N. Yemelyanov","year":"1988","unstructured":"N.Ye.Yemelyanov. Introduction to DBMS INES. Moscow, Nauka, 1988."},{"key":"3_CR59","volume-title":"The concept of a linquistic variable and its application to approximate reasoning","author":"L.A. Zadeh","year":"1973","unstructured":"L.A.Zadeh. The concept of a linquistic variable and its application to approximate reasoning. N.Y., Elsevier Publ. Comp., 1973."},{"key":"3_CR60","volume-title":"Programing systems for databases and knowledge bases","author":"A.V. Zamulin","year":"1990","unstructured":"A.V.Zamulin. Programing systems for databases and knowledge bases. Novosibirsk, Nauka, 1990."},{"issue":"N1","key":"3_CR61","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1145\/322290.322296","volume":"29","author":"G. Zvi","year":"1982","unstructured":"G.Zvi. An Almost Linear Time Algorithm for Computing a Dependency Basis in a Relational Database. J. of ACM, 1982, v.29, N1, pp. 96\u2013102.","journal-title":"J. of ACM"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56039-4_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:02:43Z","timestamp":1605628963000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56039-4_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540560395","9783540473602"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/3-540-56039-4_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}