{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:20Z","timestamp":1725663500358},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540191216"},{"type":"electronic","value":"9783540391241"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19121-6_4","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:03:33Z","timestamp":1330200213000},"page":"42-70","source":"Crossref","is-referenced-by-count":4,"title":["The equivalence problem for relational database schemes"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Biskup","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"R\u00e4sch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"4_CR1","first-page":"123","volume":"9","author":"G. Ausiello","year":"1980","unstructured":"G. Ausiello, C. Batini, M. Moscarini: \u2018Conceptual relations between databases transformed under join and projection's in: Proc. Symp. Math. Found. of Comp. Sc., 9, 1980, pp. 123\u2013136","journal-title":"Proc. Symp. Math. Found. of Comp. Sc."},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(82)90038-X","volume":"19","author":"P. Atzeni","year":"1982","unstructured":"P. Atzeni, G. Aussiello, C. Batini, M. Moscarini: \u2018Inclusion and equivalence between relational database schemes', in: Theoretical Computer Science, 19, 1982, pp. 267\u2013285","journal-title":"Theoretical Computer Science"},{"key":"4_CR3","first-page":"1","volume":"1","author":"P. Atzeni","year":"1982","unstructured":"P. Atzeni, D.S. Parker: \u2018Assumptions in relational database theory', in: ACM Symp. on Princ. of Database Systems, 1, 1982, pp. 1\u20139","journal-title":"ACM Symp. on Princ. of Database Systems"},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1137\/0208017","volume":"8","author":"A.V. Aho","year":"1979","unstructured":"A.V. Aho, Y. Sagiv, J.D. Ullman: \u2018Equivalences among relational expressions', in: SIAM Journ. of Computing, 8, 1979, pp. 218\u2013246","journal-title":"SIAM Journ. of Computing"},{"key":"4_CR5","first-page":"110","volume":"6","author":"A.V. Aho","year":"1979","unstructured":"A.V. Aho, J.D. Ullman: \u2018Universality of data retrieval languages', in: ACM Symp. on Princ. of Programming Languages, 6, 1979, pp. 110\u2013117","journal-title":"ACM Symp. on Princ. of Programming Languages"},{"key":"4_CR6","unstructured":"S.Abiteboul, V.Vianu: \u2018Transactions in relational databases', in: Proc. ACM Int. Conf. on Very Large Data Bases, 1984"},{"key":"4_CR7","first-page":"112","volume":"7","author":"F. Bancilhon","year":"1978","unstructured":"F. Bancilhon: \u2018On the completeness of query languages for relational data bases', in: Proc. Symp. Math. Found. of Computer Science, 7, 1978, pp. 112\u2013123","journal-title":"Proc. Symp. Math. Found. of Computer Science"},{"key":"4_CR8","first-page":"113","volume":"4","author":"P.A. Bernstein","year":"1978","unstructured":"P.A. Bernstein, C. Beeri, N. Goodman: \u2018A sophisticated introduction to database normalization theory', in: Proc. ACM Int. Conf. on Very Large Data Bases, 4, 1978, pp. 113\u2013124","journal-title":"Proc. ACM Int. Conf. on Very Large Data Bases"},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0306-4379(79)90032-2","volume":"4","author":"H. Biller","year":"1979","unstructured":"H. Biller: \u2018On the equivalence of database schemes \u2014 a semantic approach to data translation', in: Information Systems, 4, 1979, pp. 35\u201347","journal-title":"Information Systems"},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1137\/0210025","volume":"10","author":"C. Beeri","year":"1981","unstructured":"C. Beeri, A.O. Mendelzon, Y. Sagiv, J.D. Ullman: \u2018Equivalence of relational database schemes', in: SIAM Journ. of Computing, 10, 1981, pp. 352\u2013370","journal-title":"SIAM Journ. of Computing"},{"key":"4_CR11","first-page":"171","volume":"1","author":"M. Casanova","year":"1982","unstructured":"M. Casanova, R. Fagin, C.H. Papadimitiou: \u2018Inclusion dependencies and their interaction with functional dependencies', in: ACM Symp. on Princ. of Database Systems, 1, 1982, pp. 171\u2013176","journal-title":"ACM Symp. on Princ. of Database Systems"},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/0022-0000(80)90032-X","volume":"21","author":"A.K. Chandra","year":"1980","unstructured":"A.K. Chandra, D. Harel: \u2018Computable queries for relational data bases', in: Journ. of Computer and System Sciences, 21, 1980, pp. 156\u2013178","journal-title":"Journ. of Computer and System Sciences"},{"key":"4_CR13","first-page":"342","volume":"13","author":"A.K. Chandra","year":"1981","unstructured":"A.K. Chandra, H.R. Lewis, J.A. Makowsky: \u2018Embedded implicational dependencies and their inference problem', in: ACM Symp. on Theory of Computing, 13, 1981, pp. 342\u2013354","journal-title":"ACM Symp. on Theory of Computing"},{"key":"4_CR14","first-page":"33","volume-title":"Data Base Systems","author":"E.F. Codd","year":"1972","unstructured":"E.F. Codd: \u2018Further normalizations on data base relational model', in: Data Base Systems (R. Rustin ed.), Prentice-Hall, Englewood Cliffs, 1972, pp. 33\u201364"},{"key":"4_CR15","first-page":"36","volume":"2","author":"M.A. Casanova","year":"1983","unstructured":"M.A. Casanova, V.M.P. Vidal: \u2018Towards a sound view integration methodology', in: ACM Symp. on Princ. of Database Systems, 2, 1983, pp. 36\u201347","journal-title":"ACM Symp. on Princ. of Database Systems"},{"key":"4_CR16","volume-title":"The decision problem: solvable classes of quantificational formulas","author":"B. Dreben","year":"1979","unstructured":"B. Dreben, W.D. Goldfarb: \u2018The decision problem: solvable classes of quantificational formulas', Addison-Wesley Publishing Company, Reading, 1979"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"R.Fagin, M.Y.Vardi: \u2018The theory of data dependencies \u2014 a survey', IBM Research Report 4321, San Jose, 1984","DOI":"10.1007\/3-540-13345-3_1"},{"key":"4_CR18","first-page":"123","volume-title":"Database Management","author":"W.C. Mc Gee","year":"1974","unstructured":"W.C. Mc Gee: \u2018A contribution to the study of data equivalence', in: Database Management (J.W. Klimbie etc. ed.), Cargese, Amsterdam, 1974, pp. 123\u2013148"},{"key":"4_CR19","doi-asserted-by":"crossref","first-page":"986","DOI":"10.1145\/322344.322348","volume":"29","author":"J. Grant","year":"1982","unstructured":"J. Grant, B.E. Jacobs: \u2018On the family of generalized dependency constraints', in: Journ. of the ACM, 29, 1982, pp. 986\u2013997","journal-title":"Journ. of the ACM"},{"key":"4_CR20","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0020-0190(82)90087-4","volume":"14","author":"J. Graham","year":"1982","unstructured":"J. Graham, A.O. Mendelzon: \u2018Strong equivalence of relational expressions under dependencies', in: Information Processing Letters, 14, 1982, pp. 57\u201362","journal-title":"Information Processing Letters"},{"key":"4_CR21","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H. Gallaire","year":"1984","unstructured":"H. Gallaire, J. Minker, J.M. Nicolas: \u2018Logic and databases: a deductive approach', in: ACM Computing Surveys, 16, 1984, pp. 153\u2013185","journal-title":"ACM Computing Surveys"},{"key":"4_CR22","first-page":"281","volume":"3","author":"M.H. Graham","year":"1984","unstructured":"M.H. Graham, M.Y. Vardi: \u2018On the complexity and axiomatizability of consistent database states', in: Proc. ACM Symp. on Princ. of Database Systems, 3, 1984, pp. 281\u2013289","journal-title":"Proc. ACM Symp. on Princ. of Database Systems"},{"key":"4_CR23","series-title":"Techn. Rep.","volume-title":"Relative information capacity of simple relational database schemata","author":"R. Hull","year":"1984","unstructured":"R. Hull: \u2018Relative information capacity of simple relational database schemata', Techn. Rep. 84-300, Comp. Science Department, Univ. South. Calif., Los Angeles, 1984"},{"key":"4_CR24","first-page":"97","volume":"3","author":"R. Hull","year":"1984","unstructured":"R. Hull: \u2018Relative information capacity of simple relational database schemata', in: Proc. ACM Symp. on Princ. of Database Systems, 3, 1984, pp. 97\u2013109","journal-title":"Proc. ACM Symp. on Princ. of Database Systems"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"T.Imielinski, W.Lipski: \u2018A technique for translating states between database schemata', in: ACM Int. Conf. on Management of data, 1982, pp. 61\u201368","DOI":"10.1145\/582353.582363"},{"key":"4_CR26","first-page":"393","volume":"2","author":"T. Imielinski","year":"1985","unstructured":"T. Imielinski, W. Lipski: \u2018On the undecidability of equivalence problems for relational expressions', in: Advances in Data Base Theory, 2, 1985, pp. 393\u2013409","journal-title":"Advances in Data Base Theory"},{"key":"4_CR27","first-page":"258","volume":"3","author":"T. Imielinski","year":"1984","unstructured":"T. Imielinski, N. Spyratos: \u2018On lossless transformation of database states not necessarily satisfying universal instance assumption', in: Proc. ACM Symp. on Princ. of Database Systems, 3, 1984, pp. 258\u2013265","journal-title":"Proc. ACM Symp. on Princ. of Database Systems"},{"key":"4_CR28","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0306-4379(86)90022-0","volume":"11","author":"I. Kobayashi","year":"1986","unstructured":"I. Kobayashi: \u2018Losslessness and semantic correctness of database scheme transformation: another look of schema equivalence', in: Information Systems, 11, 1986, pp. 41\u201359","journal-title":"Information Systems"},{"key":"4_CR29","unstructured":"P.Kandzia, H.J.Klein: \u2018On the equivalence of relational data bases in connection with normalization', Techn. Rep. 7901, Univ. Kiel, 1979"},{"key":"4_CR30","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1145\/319702.319730","volume":"7","author":"B.E. Jacobs","year":"1982","unstructured":"B.E. Jacobs, A.R. Aronson, A.C. Klug: \u2018On interpretations of relational languages and solutions to the implied constraint problem', in: ACM Transactions on Database Systems, 7, 1982, pp. 291\u2013315","journal-title":"ACM Transactions on Database Systems"},{"key":"4_CR31","first-page":"264","volume":"15","author":"P.C. Kanellakis","year":"1983","unstructured":"P.C. Kanellakis, S.S. Cosmodakis, M.Y. Vardi: \u2018Unary inclusion dependencies have polynomial time inference problem', in: Proc. ACM Symp. Theory of Computing, 15, 1983, pp. 264\u2013277","journal-title":"Proc. ACM Symp. Theory of Computing"},{"key":"4_CR32","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/320613.320615","volume":"5","author":"A. Klug","year":"1980","unstructured":"A. Klug: \u2018Calculating constraints on relational expressions', in: ACM Transactions on Database Systems, 5, 1980, pp. 260\u2013290","journal-title":"ACM Transactions on Database Systems"},{"key":"4_CR33","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1016\/S0019-9958(83)80002-3","volume":"56","author":"J.C. Mitchell","year":"1983","unstructured":"J.C. Mitchell: \u2018The implication problem for functional and inclusion dependencies', in: Information and Control, 56, 1983, pp. 154\u2013173","journal-title":"Information and Control"},{"key":"4_CR34","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/322186.322189","volume":"27","author":"R. Reiter","year":"1980","unstructured":"R. Reiter: \u2018Equality and domain closure on first \u2014 order databases', in: Journ. of the ACM, 27, 1980, pp. 235\u2013249","journal-title":"Journ. of the ACM"},{"key":"4_CR35","first-page":"23","volume":"1","author":"J. Rissanen","year":"1982","unstructured":"J. Rissanen: \u2018On the equivalence of database schemes', in: Proc. ACM Symp. Princ. of Database Systems, 1, 1982, pp. 23\u201326","journal-title":"Proc. ACM Symp. Princ. of Database Systems"},{"key":"4_CR36","unstructured":"M.K.Solomon: \u2018Undecidability of the equivalence problem for relational expressions', in: Bell Lab. Memo"},{"key":"4_CR37","volume-title":"Cardinal and ordinal numbers","author":"W. Sierpinski","year":"1965","unstructured":"W. Sierpinski: \u2018Cardinal and ordinal numbers', PWN Polish Scientific Publishers, Warschau, 1965"},{"key":"4_CR38","first-page":"535","volume":"4","author":"Y. Sagiv","year":"1978","unstructured":"Y. Sagiv, M. Yannakakis: \u2018Equivalence among relational expressions', in: Proc. ACM Int. Conf. on Very Large Data Bases, 4, 1978; pp. 535\u2013548","journal-title":"Proc. ACM Int. Conf. on Very Large Data Bases"},{"key":"4_CR39","volume-title":"Principle of Database Systems","author":"J.D. Ullman","year":"1982","unstructured":"J.D. Ullman: \u2018Principle of Database Systems', Computer Science Press, Rockville, 1982"}],"container-title":["Lecture Notes in Computer Science","MFDBS 87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19121-6_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:42Z","timestamp":1605644202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19121-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540191216","9783540391241"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-19121-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}