{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:25:18Z","timestamp":1725582318524},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642209192"},{"type":"electronic","value":"9783642209208"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20920-8_14","type":"book-chapter","created":{"date-parts":[[2011,4,28]],"date-time":"2011-04-28T08:54:38Z","timestamp":1303980878000},"page":"110-122","source":"Crossref","is-referenced-by-count":1,"title":["The Boyce-Codd-Heath Normal Form for SQL"],"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","family":"Vincent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"issue":"1","key":"14_CR2","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. ACM Trans. Database Syst.\u00a029(1), 195\u2013232 (2004)","journal-title":"ACM Trans. Database Syst."},{"issue":"2","key":"14_CR3","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"},{"key":"14_CR4","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"},{"issue":"1","key":"14_CR5","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"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Biskup, J., Dayal, U., Bernstein, P.: Synthesizing independent database schemas. In: SIGMOD Conference, pp. 143\u2013151 (1979)","DOI":"10.1145\/582095.582118"},{"issue":"6","key":"14_CR7","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":"14_CR8","unstructured":"Codd, E.F.: Recent investigations in relational data base systems. In: IFIP Congress, pp. 1017\u20131021 (1974)"},{"key":"14_CR9","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":"3","key":"14_CR10","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 Trans. Database Syst.\u00a013(3), 339\u2013365 (1988)","journal-title":"ACM Trans. Database Syst."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Hartmann, S., Link, S.: Efficient reasoning about a robust XML key fragment. ACM Trans. Database Syst.\u00a034(2) (2009)","DOI":"10.1145\/1538909.1538912"},{"issue":"5","key":"14_CR12","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."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Hartmann, S., Link, S.: When data dependencies over SQL tables meet the Logics of Paradox and S-3. In: PODS Conference (2010)","DOI":"10.1145\/1807085.1807126"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Heath, I.J.: Unacceptable file operations in a relational data base. In: SIGFIDET Workshop, pp. 19\u201333 (1971)","DOI":"10.1145\/1734714.1734717"},{"issue":"4","key":"14_CR15","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"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/11775096_11","volume-title":"Algorithmic Aspects in Information and Management","author":"H. K\u00f6hler","year":"2006","unstructured":"K\u00f6hler, H.: Finding faithful Boyce-Codd normal form decompositions. In: Cheng, S.-W., Poon, C.K. (eds.) AAIM 2006. LNCS, vol.\u00a04041, pp. 102\u2013113. Springer, Heidelberg (2006)"},{"issue":"16","key":"14_CR17","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":"14_CR18","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"},{"issue":"3","key":"14_CR19","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0169-023X(97)00029-3","volume":"24","author":"J.A. Makowsky","year":"1998","unstructured":"Makowsky, J.A., Ravve, E.V.: Dependency preserving refinements and the fundamental problem of database design. Data Knowl. Eng.\u00a024(3), 277\u2013312 (1998)","journal-title":"Data Knowl. Eng."},{"issue":"3","key":"14_CR20","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":"14_CR21","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."},{"key":"14_CR22","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":"14_CR23","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":"14_CR24","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","Logic, Language, Information and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20920-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T16:03:02Z","timestamp":1547913782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20920-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642209192","9783642209208"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20920-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}