{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T02:10:27Z","timestamp":1742436627459,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642282782"},{"type":"electronic","value":"9783642282799"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28279-9_8","type":"book-chapter","created":{"date-parts":[[2012,2,8]],"date-time":"2012-02-08T01:47:18Z","timestamp":1328665638000},"page":"85-100","source":"Crossref","is-referenced-by-count":0,"title":["Foundations for a Fourth Normal Form over SQL-Like Databases"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Ferrarotti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Hartmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henning","family":"K\u00f6hler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Link","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Millist W.","family":"Vincent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1145\/1059513.1059519","volume":"52","author":"M. Arenas","year":"2005","unstructured":"Arenas, M., Libkin, L.: An information-theoretic approach to normal forms for relational and XML data. J. ACM\u00a052(2), 246\u2013283 (2005)","journal-title":"J. ACM"},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0019-9958(86)80022-5","volume":"70","author":"P. Atzeni","year":"1986","unstructured":"Atzeni, P., Morfuni, N.: Functional dependencies and constraints on null values in database relations. Information and Control\u00a070(1), 1\u201331 (1986)","journal-title":"Information and Control"},{"doi-asserted-by":"crossref","unstructured":"Beeri, C., Fagin, R., Howard, J.H.: A complete axiomatization for fds and mvds in database relations. In: SIGMOD, pp. 47\u201361. ACM (1977)","key":"8_CR3","DOI":"10.1145\/509404.509414"},{"issue":"6","key":"8_CR4","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":"8_CR5","volume-title":"A guide to the SQL standard","author":"C. Date","year":"1997","unstructured":"Date, C., Darwen, H.: A guide to the SQL standard. Addison-Wesley Professional, Reading (1997)"},{"issue":"2","key":"8_CR6","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0304-3975(97)00089-3","volume":"190","author":"J. Demetrovics","year":"1998","unstructured":"Demetrovics, J., Katona, G., Mikl\u00f3s, D., Seleznjev, O., Thalheim, B.: Asymptotic properties of keys and functional dependencies in random databases. Theor. Comput. Sci.\u00a0190(2), 151\u2013166 (1998)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/11663881_6","volume-title":"Foundations of Information and Knowledge Systems","author":"J. Demetrovics","year":"2006","unstructured":"Demetrovics, J., Katona, G.O.H., Mikl\u00f3s, D., Thalheim, B.: On the Number of Independent Functional Dependencies. In: Dix, J., Hegner, S.J. (eds.) FoIKS 2006. LNCS, vol.\u00a03861, pp. 83\u201391. Springer, Heidelberg (2006)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-540-30464-7_14","volume-title":"Conceptual Modeling \u2013 ER 2004","author":"J. Demetrovics","year":"2004","unstructured":"Demetrovics, J., Moln\u00e1r, A., Thalheim, B.: Graphical Reasoning for Sets of Functional Dependencies. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol.\u00a03288, pp. 166\u2013179. Springer, Heidelberg (2004)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/11827252_11","volume-title":"Advances in Databases and Information Systems","author":"J. Demetrovics","year":"2006","unstructured":"Demetrovics, J., Moln\u00e1r, A., Thalheim, B.: Relationship Design Using Spreadsheet Reasoning for Sets of Functional Dependencies. In: Manolopoulos, Y., Pokorn\u00fd, J., Sellis, T.K. (eds.) ADBIS 2006. LNCS, vol.\u00a04152, pp. 108\u2013123. Springer, Heidelberg (2006)"},{"issue":"3","key":"8_CR10","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 Trans. Database Syst.\u00a02(3), 262\u2013278 (1977)","journal-title":"ACM Trans. Database Syst."},{"issue":"1","key":"8_CR11","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"},{"doi-asserted-by":"crossref","unstructured":"Hartmann, S., Kirchberg, M., Link, S.: Design by example for SQL table definitions with functional dependencies. The VLDB Journal (2011), doi:10.1007\/s00778-011-0239-5","key":"8_CR12","DOI":"10.1007\/s00778-011-0239-5"},{"issue":"7","key":"8_CR13","doi-asserted-by":"publisher","first-page":"1166","DOI":"10.1093\/comjnl\/bxq073","volume":"54","author":"S. Hartmann","year":"2011","unstructured":"Hartmann, S., Leck, U., Link, S.: On Codd families of keys over incomplete relations. Comput. J.\u00a054(7), 1166\u20131180 (2011)","journal-title":"Comput. J."},{"doi-asserted-by":"crossref","unstructured":"Hartmann, S., Link, S.: Efficient reasoning about a robust XML key fragment. ACM Trans. Database Syst.\u00a034(2) (2009)","key":"8_CR14","DOI":"10.1145\/1538909.1538912"},{"issue":"5","key":"8_CR15","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1016\/j.ic.2008.09.004","volume":"208","author":"S. Hartmann","year":"2010","unstructured":"Hartmann, S., Link, S.: Numerical constraints on XML data. Inf. Comput.\u00a0208(5), 521\u2013544 (2010)","journal-title":"Inf. Comput."},{"doi-asserted-by":"crossref","unstructured":"Hartmann, S., Link, S.: When data dependencies over SQL tables meet the Logics of Paradox and $\\mathcal{S}$ -3. In: PODS, pp. 317\u2013326 (2010)","key":"8_CR16","DOI":"10.1145\/1807085.1807126"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-24627-5_9","volume-title":"Foundations of Information and Knowledge Systems","author":"S. Hartmann","year":"2004","unstructured":"Hartmann, S., Link, S., Schewe, K.-D.: Weak Functional Dependencies in Higher-Order Datamodels. In: Seipel, D., Turull-Torres, J.M. (eds.) FoIKS 2004. LNCS, vol.\u00a02942, pp. 116\u2013133. Springer, Heidelberg (2004)"},{"issue":"4","key":"8_CR18","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1145\/1634.1886","volume":"31","author":"T. Imielinski","year":"1984","unstructured":"Imielinski, T., Lipski Jr., W.: Incomplete information in relational databases. J. ACM\u00a031(4), 761\u2013791 (1984)","journal-title":"J. ACM"},{"issue":"16","key":"8_CR19","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1016\/j.ipl.2010.06.002","volume":"110","author":"H. K\u00f6hler","year":"2010","unstructured":"K\u00f6hler, H., Link, S.: Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics. Inf. Process. Lett.\u00a0110(16), 717\u2013724 (2010)","journal-title":"Inf. Process. Lett."},{"issue":"2","key":"8_CR20","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/322307.322311","volume":"29","author":"E. Lien","year":"1982","unstructured":"Lien, E.: On the equivalence of database models. J. ACM\u00a029(2), 333\u2013362 (1982)","journal-title":"J. ACM"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/3-540-36596-6_8","volume-title":"Semantics in Databases","author":"S. Link","year":"2003","unstructured":"Link, S.: Consistency Enforcement in Databases. In: Bertossi, L., Katona, G.O.H., Schewe, K.-D., Thalheim, B. (eds.) Semantics in Databases 2001. LNCS, vol.\u00a02582, pp. 139\u2013159. Springer, Heidelberg (2003)"},{"issue":"3","key":"8_CR22","first-page":"379","volume":"15","author":"S. Link","year":"2002","unstructured":"Link, S., Schewe, K.-D.: An arithmetic theory of consistency enforcement. Acta Cybern.\u00a015(3), 379\u2013416 (2002)","journal-title":"Acta Cybern."},{"key":"8_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69956-6","volume-title":"The Structure of the Relational Database Model","author":"J. Paredaens","year":"1989","unstructured":"Paredaens, J., De Bra, P., Gyssens, M., Van Gucht, D.: The Structure of the Relational Database Model. Springer, Heidelberg (1989)"},{"issue":"3","key":"8_CR24","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1145\/322261.322263","volume":"28","author":"Y. Sagiv","year":"1981","unstructured":"Sagiv, Y., Delobel, C., Parker Jr., D.S., Fagin, R.: An equivalence between relational database dependencies and a fragment of propositional logic. J. ACM\u00a028(3), 435\u2013453 (1981)","journal-title":"J. ACM"},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M. Schaerf","year":"1995","unstructured":"Schaerf, M., Cadoli, M.: Tractable reasoning via approximation. Artif. Intell.\u00a074, 249\u2013310 (1995)","journal-title":"Artif. Intell."},{"issue":"3","key":"8_CR26","first-page":"277","volume":"13","author":"K.-D. Schewe","year":"1998","unstructured":"Schewe, K.-D., Thalheim, B.: Limitations of rule triggering systems for integrity maintenance in the context of transition specifications. Acta Cybern.\u00a013(3), 277\u2013304 (1998)","journal-title":"Acta Cybern."},{"issue":"2","key":"8_CR27","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s002360050155","volume":"36","author":"K.-D. Schewe","year":"1999","unstructured":"Schewe, K.-D., Thalheim, B.: Towards a theory of consistency enforcement. Acta Inf.\u00a036(2), 97\u2013141 (1999)","journal-title":"Acta Inf."},{"key":"8_CR28","first-page":"267","volume":"8","author":"O. Selesnjev","year":"1988","unstructured":"Selesnjev, O., Thalheim, B.: On the numbers of shortes keys in relational databases on non-uniform domains. Acta Cybern.\u00a08, 267\u2013271 (1988)","journal-title":"Acta Cybern."},{"doi-asserted-by":"crossref","unstructured":"Seleznjev, O., Thalheim, B.: Behavior of keys in random databases. In: SCCC, pp. 171\u2013183 (1998)","key":"8_CR29","DOI":"10.1109\/SCCC.1998.730797"},{"key":"8_CR30","first-page":"109","volume":"24","author":"B. Thalheim","year":"1984","unstructured":"Thalheim, B.: A compelte axiomatization for full join dependencies in relations. Bulletin of the EATCS\u00a024, 109\u2013114 (1984)","journal-title":"Bulletin of the EATCS"},{"doi-asserted-by":"crossref","unstructured":"Thalheim, B.: Deductive normal forms of relations. In: Mathematical Methods of Specification and Synthesis of Software Systems, pp. 226\u2013230 (1985)","key":"8_CR31","DOI":"10.1007\/3-540-16444-8_21"},{"key":"8_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/3-540-19121-6_12","volume-title":"MFDBS 87","author":"B. Thalheim","year":"1988","unstructured":"Thalheim, B.: Design Tools for Large Relational Database Systems. In: Biskup, J., Demetrovics, J., Paredaens, J., Thalheim, B. (eds.) MFDBS 1987. LNCS, vol.\u00a0305, pp. 210\u2013224. Springer, Heidelberg (1988)"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-19121-6_15","volume-title":"MFDBS 87","author":"B. Thalheim","year":"1988","unstructured":"Thalheim, B.: Open Problems in Database Theory. In: Biskup, J., Demetrovics, J., Paredaens, J., Thalheim, B. (eds.) MFDBS 1987. LNCS, vol.\u00a0305, pp. 241\u2013247. Springer, Heidelberg (1988)"},{"key":"8_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/3-540-51251-9_25","volume-title":"MFDBS 89","author":"B. Thalheim","year":"1989","unstructured":"Thalheim, B.: The Higher-Order Entity-Relationship model and (DB)2. In: Demetrovics, J., Thalheim, B. (eds.) MFDBS 1989. LNCS, vol.\u00a0364, pp. 382\u2013397. Springer, Heidelberg (1989)"},{"issue":"1-2","key":"8_CR35","first-page":"11","volume":"25","author":"B. Thalheim","year":"1989","unstructured":"Thalheim, B.: On semantic issues connected with keys in relational databases permitting null values. Elektronische Informationsverarbeitung und Kybernetik\u00a025(1-2), 11\u201320 (1989)","journal-title":"Elektronische Informationsverarbeitung und Kybernetik"},{"doi-asserted-by":"crossref","unstructured":"Thalheim, B.: Dependencies in relational databases. Teubner (1991)","key":"8_CR36","DOI":"10.1007\/978-3-663-12018-6"},{"key":"8_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/3-540-56023-8_3","volume-title":"Entity-Relationship Approach - ER \u201992","author":"B. Thalheim","year":"1992","unstructured":"Thalheim, B.: Fundamentals of Cardinality Constraints. In: Pernul, G., Tjoa, A.M. (eds.) ER 1992. LNCS, vol.\u00a0645, pp. 7\u201323. Springer, Heidelberg (1992)"},{"doi-asserted-by":"crossref","unstructured":"Thalheim, B.: The number of keys in relational and nested relational databases. Discrete Applied Mathematics\u00a040(2) (1992)","key":"8_CR38","DOI":"10.1016\/0166-218X(92)90033-7"},{"key":"8_CR39","first-page":"2","volume":"10","author":"B. Thalheim","year":"1992","unstructured":"Thalheim, B.: An overview on database theory. Datenbank Rundbrief\u00a010, 2\u201313 (1992)","journal-title":"Datenbank Rundbrief"},{"doi-asserted-by":"crossref","unstructured":"Thalheim, B.: Database design strategies. In: CISM, pp. 267\u2013285 (1993)","key":"8_CR40","DOI":"10.1007\/978-3-7091-2704-9_14"},{"issue":"1-4","key":"8_CR41","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BF01556354","volume":"7","author":"B. Thalheim","year":"1993","unstructured":"Thalheim, B.: Foundations of Entity - Relationship Modeling. Ann. Math. Artif. Intell.\u00a07(1-4), 197\u2013256 (1993)","journal-title":"Ann. Math. Artif. Intell."},{"key":"8_CR42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04058-4","volume-title":"Entity-Relationship modeling","author":"B. Thalheim","year":"2000","unstructured":"Thalheim, B.: Entity-Relationship modeling. Springer, Heidelberg (2000)"},{"key":"8_CR43","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":"1","key":"8_CR44","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.datak.2004.10.002","volume":"54","author":"B. Thalheim","year":"2005","unstructured":"Thalheim, B.: Component development and construction for database design. Data Knowl. Eng.\u00a054(1), 77\u201395 (2005)","journal-title":"Data Knowl. Eng."},{"key":"8_CR45","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s002360050157","volume":"36","author":"M. Vincent","year":"1999","unstructured":"Vincent, M.: Semantic foundation of 4NF in relational database design. Acta Inf.\u00a036, 1\u201341 (1999)","journal-title":"Acta Inf."},{"issue":"3","key":"8_CR46","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1145\/1016028.1016029","volume":"29","author":"M. Vincent","year":"2004","unstructured":"Vincent, M., Liu, J., Liu, C.: Strong FDs and their application to normal forms in XML. ACM Trans. Database Syst.\u00a029(3), 445\u2013462 (2004)","journal-title":"ACM Trans. Database Syst."},{"issue":"1","key":"8_CR47","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0022-0000(84)90080-1","volume":"28","author":"C. Zaniolo","year":"1984","unstructured":"Zaniolo, C.: Database relations with null values. J. Comput. Syst. Sci.\u00a028(1), 142\u2013166 (1984)","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Lecture Notes in Computer Science","Conceptual Modelling and Its Theoretical Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28279-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T01:56:49Z","timestamp":1742435809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28279-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642282782","9783642282799"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28279-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}