{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:05:59Z","timestamp":1743084359547,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642138232"},{"type":"electronic","value":"9783642138249"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13824-9_12","type":"book-chapter","created":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T11:24:09Z","timestamp":1277983449000},"page":"136-147","source":"Crossref","is-referenced-by-count":1,"title":["On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations"],"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":"Sebastian","family":"Link","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_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":"12_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."},{"key":"12_CR3","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":"12_CR4","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"},{"issue":"1","key":"12_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.: Computational problems related to the design of normal form relational schemas. ACM Trans. Database Syst.\u00a04(1), 30\u201359 (1979)","journal-title":"ACM Trans. Database Syst."},{"key":"12_CR6","first-page":"47","volume-title":"SIGMOD Conference","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: SIGMOD Conference, pp. 47\u201361. ACM, New York (1977)"},{"issue":"4","key":"12_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 Trans. Database Syst.\u00a01(4), 277\u2013298 (1976)","journal-title":"ACM Trans. Database Syst."},{"issue":"1","key":"12_CR8","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."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Biskup, J., Link, S.: Appropriate reasoning about data dependencies in fixed and undetermined universes. In: FoIKS Conference, pp. 58\u201377 (2006)","DOI":"10.1007\/978-3-540-77684-0_7"},{"issue":"6","key":"12_CR10","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. ACM Commun.\u00a013(6), 377\u2013387 (1970)","journal-title":"ACM Commun."},{"issue":"4","key":"12_CR11","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1145\/320107.320109","volume":"4","author":"E.F. Codd","year":"1979","unstructured":"Codd, E.F.: Extending the database relational model to capture more meaning. ACM Trans. Database Syst.\u00a04(4), 397\u2013434 (1979)","journal-title":"ACM Trans. Database Syst."},{"key":"12_CR12","volume-title":"Relational database systems","author":"C. Delobel","year":"1985","unstructured":"Delobel, C., Adiba, M.: Relational database systems. North Holland, Amsterdam (1985)"},{"issue":"3","key":"12_CR13","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."},{"key":"12_CR14","first-page":"50","volume-title":"VLDB Conference","author":"G. Gottlob","year":"1988","unstructured":"Gottlob, G., Zicari, R.: Closed world databases opened through null values. In: VLDB Conference, pp. 50\u201361. IEEE Computer Society, Los Alamitos (1988)"},{"issue":"5","key":"12_CR15","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/0020-0190(77)90013-8","volume":"6","author":"J. Grant","year":"1977","unstructured":"Grant, J.: Null values in a relational data base. Inf. Process. Lett.\u00a06(5), 156\u2013157 (1977)","journal-title":"Inf. Process. Lett."},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Hartmann, S., Kirchberg, M., Link, S.: A subgraph-based approach towards functional dependencies for XML. In: SCI Conference, pp. 200\u2013205 (2003)","DOI":"10.1007\/978-3-540-39403-7_27"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-88594-8_5","volume-title":"Semantics in Data and Knowledge Bases","author":"S. Hartmann","year":"2008","unstructured":"Hartmann, S., Koehler, H., Link, S., Trinh, T., Wang, J.: On the notion of an XML key. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2008. LNCS, vol.\u00a04925, pp. 114\u2013123. Springer, Heidelberg (2008)"},{"issue":"1-3","key":"12_CR18","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.apal.2007.11.004","volume":"152","author":"S. Hartmann","year":"2008","unstructured":"Hartmann, S., Link, S.: Characterising nested database dependencies by fragments of propositional logic. Ann. Pure Appl. Logic\u00a0152(1-3), 84\u2013106 (2008)","journal-title":"Ann. Pure Appl. Logic"},{"key":"12_CR19","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":"12_CR20","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":"12_CR21","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":"12_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-540-24627-5_10","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 data models. In: Seipel, D., Turull-Torres, J.M.a. (eds.) FoIKS 2004. LNCS, vol.\u00a02942, pp. 134\u2013154. Springer, Heidelberg (2004)"},{"issue":"4","key":"12_CR23","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":"3","key":"12_CR24","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1016\/j.is.2009.11.002","volume":"35","author":"W. Langeveldt","year":"2010","unstructured":"Langeveldt, W., Link, S.: Empirical evidence for the usefulness of Armstrong relations in the acquisition of meaningful functional dependencies. Inf. Syst.\u00a035(3), 352\u2013374 (2010)","journal-title":"Inf. Syst."},{"issue":"1-2","key":"12_CR25","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. Theor. Comput. Sci.\u00a0206(1-2), 283\u2013300 (1998)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"12_CR26","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/310701.310712","volume":"24","author":"M. Levene","year":"1999","unstructured":"Levene, M., Loizou, G.: Database design for incomplete relations. ACM Trans. Database Syst.\u00a024(1), 80\u2013125 (1999)","journal-title":"ACM Trans. Database Syst."},{"issue":"2","key":"12_CR27","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":"12_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","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. 122\u2013143. Springer, Heidelberg (2003)"},{"issue":"7-8","key":"12_CR29","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1007\/s00236-008-0080-5","volume":"45","author":"S. Link","year":"2008","unstructured":"Link, S.: Charting the completeness frontier of inference systems for multivalued dependencies. Acta Inf.\u00a045(7-8), 565\u2013591 (2008)","journal-title":"Acta Inf."},{"issue":"3","key":"12_CR30","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1142\/S0129054108005899","volume":"19","author":"S. Link","year":"2008","unstructured":"Link, S.: On the implication of multivalued dependencies in partial database relations. Int. J. Found. Comput. Sci.\u00a019(3), 691\u2013715 (2008)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"12_CR31","unstructured":"Mikinouchi, A.: A consideration on normal form of not-necessarily-normalised relation in the relational data model. In: VLDB Conference, pp. 447\u2013453 (1977)"},{"key":"12_CR32","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":"2-3","key":"12_CR33","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s10817-007-9092-z","volume":"40","author":"D. Toman","year":"2008","unstructured":"Toman, D., Weddell, G.: On keys and functional dependencies as first-class citizens in description logics. J. Autom. Reasoning\u00a040(2-3), 117\u2013132 (2008)","journal-title":"J. Autom. Reasoning"},{"issue":"3","key":"12_CR34","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 functional dependencies 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":"12_CR35","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 Trans. Database Syst.\u00a017(1), 32\u201364 (1992)","journal-title":"ACM Trans. Database Syst."},{"issue":"1","key":"12_CR36","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 Trans. Database Syst.\u00a024(1), 127\u2013176 (1999)","journal-title":"ACM Trans. Database Syst."},{"key":"12_CR37","doi-asserted-by":"crossref","unstructured":"Wu, M.: The practical need for fourth normal form. In: ACM SIGCSE Conference, pp. 19\u201323 (1992)","DOI":"10.1145\/135250.134515"},{"issue":"1","key":"12_CR38","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":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13824-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T19:47:30Z","timestamp":1675194450000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-13824-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642138232","9783642138249"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13824-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}