{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:57:45Z","timestamp":1725551865887},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540317821"},{"type":"electronic","value":"9783540317845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11663881_15","type":"book-chapter","created":{"date-parts":[[2006,1,19]],"date-time":"2006-01-19T11:31:46Z","timestamp":1137670306000},"page":"258-277","source":"Crossref","is-referenced-by-count":4,"title":["On Multivalued Dependencies in Fixed and Undetermined Universes"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Link","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"15_CR1","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1145\/974750.974757","volume":"29","author":"M. Arenas","year":"2004","unstructured":"Arenas, M., Libkin, L.: A normal form for XML documents. Tansactions on Database Systems (ToDS)\u00a029(1), 195\u2013232 (2004)","journal-title":"Tansactions on Database Systems (ToDS)"},{"key":"15_CR2","first-page":"580","volume":"74","author":"W.W. Armstrong","year":"1974","unstructured":"Armstrong, W.W.: Dependency structures of database relationships. Information Processing\u00a074, 580\u2013583 (1974)","journal-title":"Information Processing"},{"key":"15_CR3","unstructured":"Armstrong, W.W., Nakamura, Y., Rudnicki, P.: Armstrong\u2019s axioms. Journal of formalized Mathematics\u00a014 (2002)"},{"issue":"3","key":"15_CR4","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1145\/320613.320614","volume":"5","author":"C. Beeri","year":"1980","unstructured":"Beeri, C.: On the membership problem for functional and multivalued dependencies in relational databases. ACM Tans. Database Syst.\u00a05(3), 241\u2013259 (1980)","journal-title":"ACM Tans. Database Syst."},{"issue":"1","key":"15_CR5","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/320064.320066","volume":"4","author":"C. Beeri","year":"1979","unstructured":"Beeri, C., Bernstein, P.A.: Computational problems related to the design of normal form relational schemata. ACM Tans. Database Syst.\u00a04(1), 30\u201359 (1979)","journal-title":"ACM Tans. Database Syst."},{"key":"15_CR6","first-page":"47","volume-title":"Proceedings of the SIGMOD International Conference on Management of Data","author":"C. Beeri","year":"1977","unstructured":"Beeri, C., Fagin, R., Howard, J.H.: A complete axiomatization for functional and multivalued dependencies in database relations. In: Proceedings of the SIGMOD International Conference on Management of Data, pp. 47\u201361. ACM, New York (1977)"},{"issue":"4","key":"15_CR7","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/320493.320489","volume":"1","author":"P. Bernstein","year":"1976","unstructured":"Bernstein, P.: Synthesizing third normal form relations from functional dependencies. ACM Tans. Database Syst.\u00a01(4), 277\u2013298 (1976)","journal-title":"ACM Tans. Database Syst."},{"key":"15_CR8","first-page":"245","volume-title":"Proceedings of the 6th International Conference on Very Large Data Bases","author":"P.A. Bernstein","year":"1980","unstructured":"Bernstein, P.A., Goodman, N.: What does Boyce-Codd normal form do? In: Proceedings of the 6th International Conference on Very Large Data Bases, pp. 245\u2013259. IEEE Computer Society, Los Alamitos (1980)"},{"key":"15_CR9","volume-title":"Lattice Theory","author":"G. Birkhoff","year":"1940","unstructured":"Birkhoff, G.: Lattice Theory. American Mathematical Society, Providence (1940)"},{"issue":"3","key":"15_CR10","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00264322","volume":"10","author":"J. Biskup","year":"1978","unstructured":"Biskup, J.: On the complementation rule for multivalued dependencies in database relations. Acta Informatica\u00a010(3), 297\u2013305 (1978)","journal-title":"Acta Informatica"},{"issue":"1","key":"15_CR11","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0304-3975(80)90075-4","volume":"10","author":"J. Biskup","year":"1980","unstructured":"Biskup, J.: Inferences of multivalued dependencies in fixed and undetermined universes. Theor. Comput. Sci.\u00a010(1), 93\u2013106 (1980)","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"15_CR12","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E.F. Codd","year":"1970","unstructured":"Codd, E.F.: A relational model of data for large shared data banks. Commun. ACM\u00a013(6), 377\u2013387 (1970)","journal-title":"Commun. ACM"},{"key":"15_CR13","first-page":"33","volume-title":"Courant Computer Science Symposia 6: Data Base Systems","author":"E.F. Codd","year":"1972","unstructured":"Codd, E.F.: Further normalization of the database relational model. In: Courant Computer Science Symposia 6: Data Base Systems, pp. 33\u201364. Prentice-Hall, Englewood Cliffs (1972)"},{"issue":"3","key":"15_CR14","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/320263.320271","volume":"3","author":"C. Delobel","year":"1978","unstructured":"Delobel, C.: Normalisation and hierarchical dependencies in the relational data model. ACM Tans. Database Syst.\u00a03(3), 201\u2013222 (1978)","journal-title":"ACM Tans. Database Syst."},{"issue":"3","key":"15_CR15","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/44498.44499","volume":"13","author":"J. Diederich","year":"1988","unstructured":"Diederich, J., Milton, J.: New methods and fast algorithms for database normalization. ACM Tans. Database Syst.\u00a013(3), 339\u2013365 (1988)","journal-title":"ACM Tans. Database Syst."},{"issue":"3","key":"15_CR16","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1145\/320557.320571","volume":"2","author":"R. Fagin","year":"1977","unstructured":"Fagin, R.: Multivalued dependencies and a new normal form for relational databases. ACM Tans. Database Syst.\u00a02(3), 262\u2013278 (1977)","journal-title":"ACM Tans. Database Syst."},{"key":"15_CR17","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/034\/846853","volume-title":"Mathematics of Information Processing: Proceedings of Symposia in Applied Mathematics","author":"R. Fagin","year":"1986","unstructured":"Fagin, R., Vardi, M.Y.: The theory of data dependencies: a survey. In: Mathematics of Information Processing: Proceedings of Symposia in Applied Mathematics, pp. 19\u201371. American Mathematical Society, Providence (1986)"},{"issue":"3","key":"15_CR18","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0022-0000(85)90057-1","volume":"31","author":"P.C. Fischer","year":"1985","unstructured":"Fischer, P.C., Saxton, L.V., Thomas, S.J., Van Gucht, D.: Interactions between dependencies and nested relational structures. J. Comput. Syst. Sci.\u00a031(3), 343\u2013354 (1985)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"15_CR19","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/322290.322296","volume":"29","author":"Z. Galil","year":"1982","unstructured":"Galil, Z.: An almost linear-time algorithm for computing a dependency basis in a relational database. J. ACM\u00a029(1), 96\u2013102 (1982)","journal-title":"J. ACM"},{"issue":"2","key":"15_CR20","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1137\/0208018","volume":"8","author":"K. Hagihara","year":"1979","unstructured":"Hagihara, K., Ito, M., Taniguchi, K., Kasami, T.: Decision problems for multivalued dependencies in relational databases. SIAM J. Comput.\u00a08(2), 247\u2013264 (1979)","journal-title":"SIAM J. Comput."},{"key":"15_CR21","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1145\/303976.303985","volume-title":"Proceedings of the 18th SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"C. Hara","year":"1999","unstructured":"Hara, C., Davidson, S.: Reasoning about nested functional dependencies. In: Proceedings of the 18th SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 91\u2013100. ACM, New York (1999)"},{"key":"15_CR22","unstructured":"Hartmann, S., Link, S.: On a problem of Fagin concerning multivalued dependencies in relational databases. Accepted for Theoretical Computer Science (TCS)"},{"key":"15_CR23","first-page":"330","volume-title":"Proceedings of the 23rd SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"S. Hartmann","year":"2004","unstructured":"Hartmann, S., Link, S.: Multi-valued dependencies in the presence of lists. In: Proceedings of the 23rd SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 330\u2013341. ACM, New York (2004)"},{"key":"15_CR24","unstructured":"Hartmann, S., Link, S., Schewe, K.-D.: Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets. Accepted for Theoretical Computer Science (TCS)"},{"key":"15_CR25","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0304-3975(84)90057-4","volume":"34","author":"M. Ito","year":"1984","unstructured":"Ito, M., Iwasaki, M., Taniguchi, K., Kasami, K.: Membership problems for data dependencies in relational expressions. Theor. Comput. Sci.\u00a034, 315\u2013335 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR26","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0304-3975(87)90021-1","volume":"54","author":"V. Lakshmanan","year":"1987","unstructured":"Lakshmanan, V., VeniMadhavan, C.: An algebraic theory of functional and multivalued dependencies in relational databases. Theor. Comput. Sci.\u00a054, 103\u2013128 (1987)","journal-title":"Theor. Comput. Sci."},{"issue":"1-2","key":"15_CR27","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/S0304-3975(98)80029-7","volume":"206","author":"M. Levene","year":"1998","unstructured":"Levene, M., Loizou, G.: Axiomatisation of functional dependencies in incomplete relations. Theoretical Computer Science (TCS)\u00a0206(1-2), 283\u2013300 (1998)","journal-title":"Theoretical Computer Science (TCS)"},{"issue":"2","key":"15_CR28","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/322307.322311","volume":"29","author":"Y.E. Lien","year":"1982","unstructured":"Lien, Y.E.: On the equivalence of data models. Journal of the ACM\u00a029(2), 333\u2013363 (1982)","journal-title":"Journal of the ACM"},{"issue":"1","key":"15_CR29","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/322108.322112","volume":"26","author":"A. Mendelzon","year":"1979","unstructured":"Mendelzon, A.: On axiomatising multivalued dependencies in relational databases. J. ACM\u00a026(1), 37\u201344 (1979)","journal-title":"J. ACM"},{"key":"15_CR30","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/VLDB.1979.718120","volume-title":"Proceedings of the 5th International Conference on Very Large Data Bases","author":"D. Parker","year":"1979","unstructured":"Parker, D., Delobel, C.: Algorithmic applications for a new result on multivalued dependencies. In: Proceedings of the 5th International Conference on Very Large Data Bases, pp. 67\u201374. IEEE Computer Society, Los Alamitos (1979)"},{"issue":"2","key":"15_CR31","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1145\/322186.322190","volume":"27","author":"Y. Sagiv","year":"1980","unstructured":"Sagiv, Y.: An algorithm for inferring multivalued dependencies with an application to propositional logic. J. ACM\u00a027(2), 250\u2013262 (1980)","journal-title":"J. ACM"},{"key":"15_CR32","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/278245.278247","volume":"22","author":"Z. Tari","year":"1997","unstructured":"Tari, Z., Stokes, J., Spaccapietra, S.: Object normal forms and dependency constraints for object-oriented schemata. ACM Tans. Database Syst.\u00a022, 513\u2013569 (1997)","journal-title":"ACM Tans. Database Syst."},{"key":"15_CR33","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-12018-6","volume-title":"Dependencies in Relational Databases","author":"B. Thalheim","year":"1991","unstructured":"Thalheim, B.: Dependencies in Relational Databases. Teubner, Stuttgart (1991)"},{"key":"15_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-3-540-39648-2_29","volume-title":"Conceptual Modeling - ER 2003","author":"B. Thalheim","year":"2003","unstructured":"Thalheim, B.: Conceptual treatment of multivalued dependencies. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol.\u00a02813, pp. 363\u2013375. Springer, Heidelberg (2003)"},{"issue":"2","key":"15_CR35","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF00290729","volume":"19","author":"M. Vardi","year":"1983","unstructured":"Vardi, M.: Inferring multivalued dependencies from functional and join dependencies. Acta Inf.\u00a019(2), 305\u2013324 (1983)","journal-title":"Acta Inf."},{"key":"15_CR36","unstructured":"Vardi, M.Y.: Fundamentals of dependency theory. In: B\u00f6rger, E. (ed.) Trends in Theoretical Computer Science, pp. 171\u2013224. Computer Science Press (1987)"},{"key":"15_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/3-540-45073-4_3","volume-title":"New Horizons in Information Management","author":"M. Vincent","year":"2003","unstructured":"Vincent, M., Liu, J.: Multivalued dependencies in XML. In: James, A., Younas, M., Lings, B. (eds.) BNCOD 2003. LNCS, vol.\u00a02712, pp. 4\u201318. Springer, Heidelberg (2003)"},{"key":"15_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-540-39429-7_17","volume-title":"Database and XML Technologies","author":"M. Vincent","year":"2003","unstructured":"Vincent, M., Liu, J., Liu, C.: A redundancy free 4NF for XML. In: Bellahs\u00e8ne, Z., Chaudhri, A.B., Rahm, E., Rys, M., Unland, R. (eds.) XSym 2003. LNCS, vol.\u00a02824, pp. 254\u2013266. Springer, Heidelberg (2003)"},{"issue":"1","key":"15_CR39","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/128765.128767","volume":"17","author":"G. Weddell","year":"1992","unstructured":"Weddell, G.: Reasoning about functional dependencies generalized for semantic data models. ACM Tans. Database Syst.\u00a017(1), 32\u201364 (1992)","journal-title":"ACM Tans. Database Syst."},{"issue":"1","key":"15_CR40","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1145\/310701.310715","volume":"24","author":"J. Wijsen","year":"1999","unstructured":"Wijsen, J.: Temporal FDs on complex objects. ACM Tans. Database Syst.\u00a024(1), 127\u2013176 (1999)","journal-title":"ACM Tans. Database Syst."},{"key":"15_CR41","unstructured":"Zaniolo, C.: Analysis and Design of Relational Schemata for Database Systems. PhD thesis, UCLA, Tech. Rep. UCLA-ENG-7769 (1976)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11663881_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,22]],"date-time":"2021-07-22T20:44:15Z","timestamp":1626986655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11663881_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540317821","9783540317845"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/11663881_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}