{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:31:45Z","timestamp":1725867105643},"publisher-location":"Cham","reference-count":46,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319463964"},{"type":"electronic","value":"9783319463971"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-46397-1_11","type":"book-chapter","created":{"date-parts":[[2016,10,6]],"date-time":"2016-10-06T14:42:36Z","timestamp":1475764956000},"page":"133-148","source":"Crossref","is-referenced-by-count":3,"title":["Possibilistic Cardinality Constraints and\u00a0Functional Dependencies"],"prefix":"10.1007","author":[{"given":"Tania K.","family":"Roblot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Link","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,7]]},"reference":[{"issue":"1","key":"11_CR1","doi-asserted-by":"crossref","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. 4(1), 30\u201359 (1979)","journal-title":"ACM Trans. Database Syst."},{"issue":"1","key":"11_CR2","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/2422.322414","volume":"31","author":"C Beeri","year":"1984","unstructured":"Beeri, C., Dowd, M., Fagin, R., Statman, R.: On the structure of Armstrong relations for functional dependencies. J. ACM 31(1), 30\u201346 (1984)","journal-title":"J. ACM"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/BFb0019913","volume-title":"Conceptual Modeling \u2014 ER 1996","author":"J Biskup","year":"1996","unstructured":"Biskup, J., Menzel, R., Polle, T., Sagiv, Y.: Decomposition of relationships through pivoting. In: Thalheim, B. (ed.) ER 1996. LNCS, vol. 1157, pp. 28\u201341. Springer, Heidelberg (1996). doi: 10.1007\/BFb0019913"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-319-19069-3_8","volume-title":"Advanced Information Systems Engineering","author":"P Brown","year":"2015","unstructured":"Brown, P., Link, S.: Probabilistic keys for data quality management. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 118\u2013132. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-19069-3_8"},{"issue":"1","key":"11_CR5","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"PP Chen","year":"1976","unstructured":"Chen, P.P.: The Entity-Relationship model - toward a unified view of data. ACM Trans. Database Syst. 1(1), 9\u201336 (1976)","journal-title":"ACM Trans. Database Syst."},{"issue":"6","key":"11_CR6","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd, E.F.: A relational model of data for large shared data banks. Commun. ACM 13(6), 377\u2013387 (1970)","journal-title":"Commun. ACM"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/978-3-642-16373-9_31","volume-title":"Conceptual Modeling \u2013 ER 2010","author":"F Currim","year":"2010","unstructured":"Currim, F., Neidig, N., Kampoowale, A., Mhatre, G.: The CARD system. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol. 6412, pp. 433\u2013437. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16373-9_31"},{"key":"11_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. 3288, pp. 166\u2013179. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30464-7_14"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Dubois, D., Prade, H.: Possibility theory and its applications: Where do we stand? In: Kacprzyk, J., Pedrycz, W. (eds.) Springer Handbook of Computational Intelligence, pp. 31\u201360. Springer, Heidelberg (2015)","DOI":"10.1007\/978-3-662-43505-2_3"},{"issue":"3","key":"11_CR10","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1002\/int.21782","volume":"31","author":"D Dubois","year":"2016","unstructured":"Dubois, D., Prade, H.: Practical methods for constructing possibility distributions. Int. J. Intell. Syst. 31(3), 215\u2013239 (2016)","journal-title":"Int. J. Intell. Syst."},{"issue":"3","key":"11_CR11","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1145\/319587.319592","volume":"6","author":"R Fagin","year":"1981","unstructured":"Fagin, R.: A normal form for relational databases that is based on domains and keys. ACM Trans. Database Syst. 6(3), 387\u2013415 (1981)","journal-title":"ACM Trans. Database Syst."},{"issue":"4","key":"11_CR12","doi-asserted-by":"crossref","first-page":"952","DOI":"10.1145\/322344.322347","volume":"29","author":"R Fagin","year":"1982","unstructured":"Fagin, R.: Horn clauses and database dependencies. J. ACM 29(4), 952\u2013985 (1982)","journal-title":"J. ACM"},{"issue":"2","key":"11_CR13","first-page":"94","volume":"33","author":"W Fan","year":"2008","unstructured":"Fan, W., Geerts, F., Jia, X., Kementsietsidis, A.: Conditional functional dependencies for capturing data inconsistencies. ACM Trans. Database Syst. 33(2), 94\u2013115 (2008)","journal-title":"ACM Trans. Database Syst."},{"key":"11_CR14","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0304-3975(85)90075-1","volume":"41","author":"J Grant","year":"1985","unstructured":"Grant, J., Minker, J.: Inferences for numerical dependencies. Theor. Comput. Sci. 41, 271\u2013287 (1985)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR15","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1016\/j.datak.2015.06.002","volume":"99","author":"N Hall","year":"2015","unstructured":"Hall, N., K\u00f6hler, H., Link, S., Prade, H., Zhou, X.: Cardinality constraints on qualitatively uncertain data. Data Knowl. Eng. 99, 126\u2013150 (2015)","journal-title":"Data Knowl. Eng."},{"issue":"5","key":"11_CR16","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1016\/j.jcss.2016.02.007","volume":"82","author":"M Hannula","year":"2016","unstructured":"Hannula, M., Kontinen, J., Link, S.: On the finite and general implication problems of independence atoms and keys. J. Comput. Syst. Sci. 82(5), 856\u2013877 (2016)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"11_CR17","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/S0169-023X(01)00031-3","volume":"39","author":"S Hartmann","year":"2001","unstructured":"Hartmann, S.: Decomposing relationship types by pivoting and schema equivalence. Data Knowl. Eng. 39(1), 75\u201399 (2001)","journal-title":"Data Knowl. Eng."},{"issue":"2\u20134","key":"11_CR18","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1023\/A:1013133428451","volume":"33","author":"S Hartmann","year":"2001","unstructured":"Hartmann, S.: On the implication problem for cardinality constraints and functional dependencies. Ann. Math. Artif. Intell. 33(2\u20134), 253\u2013307 (2001)","journal-title":"Ann. Math. Artif. Intell."},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Hartmann, S., Link, S.: Multi-valued dependencies in the presence of lists. In: Beeri, C., Deutsch, A. (eds.) Proceedings of the Twenty-Third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 14\u201316 June 2004, Paris, France, pp. 330\u2013341. ACM (2004)","DOI":"10.1145\/1055558.1055603"},{"issue":"1\u20133","key":"11_CR20","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.tcs.2005.08.036","volume":"353","author":"S Hartmann","year":"2006","unstructured":"Hartmann, S., Link, S.: On a problem of Fagin concerning multivalued dependencies in relational databases. Theor. Comput. Sci. 353(1\u20133), 53\u201362 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Hartmann, S., Link, S.: Efficient reasoning about a robust XML key fragment. ACM Trans. Database Syst. 34(2) (2009)","DOI":"10.1145\/1538909.1538912"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Hartmann, S., Link, S.: Expressive, yet tractable XML keys. In: Kersten, M.L., Novikov, B., Teubner, J., Polutin, V., Manegold, S. (eds.) EDBT 2009, 12th International Conference on Extending Database Technology, Saint Petersburg, Russia, 24\u201326 March, 2009, Proceedings. ACM International Conference Proceeding Series, vol. 360, pp. 357\u2013367. ACM (2009)","DOI":"10.1145\/1516360.1516402"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.: Reasoning about functional and multi-valued dependencies in the presence of lists. In: Seipel, D., Turull-Torres, J.M. (eds.) FoIKS 2004. LNCS, vol. 2942, pp. 134\u2013154. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-24627-5_10"},{"issue":"1\u20132","key":"11_CR24","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/s10472-005-9015-9","volume":"46","author":"S Hartmann","year":"2006","unstructured":"Hartmann, S., Link, S., Schewe, K.: Functional and multivalued dependencies in nested databases generated by record and list constructor. Ann. Math. Artif. Intell. 46(1\u20132), 114\u2013164 (2006)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1","key":"11_CR25","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0169-023X(95)00036-R","volume":"19","author":"TH Jones","year":"1996","unstructured":"Jones, T.H., Song, I.Y.: Analysis of binary\/ternary cardinality combinations in entity-relationship modeling. Data Knowl. Eng. 19(1), 39\u201364 (1996)","journal-title":"Data Knowl. Eng."},{"issue":"4","key":"11_CR26","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1007\/s00778-016-0430-9","volume":"25","author":"H K\u00f6hler","year":"2016","unstructured":"K\u00f6hler, H., Leck, U., Link, S., Zhou, X.: Possible and certain keys for SQL. VLDB J. 25(4), 571\u2013596 (2016)","journal-title":"VLDB J."},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"K\u00f6hler, H., Link, S.: SQL schema design: Foundations, normal forms, and normalization. In: \u00d6zcan, F., Koutrika, G., Madden, S. (eds.) Proceedings of the 2016 International Conference on Management of Data, SIGMOD Conference 2016, San Francisco, CA, USA, 26 June\u201301 July 2016, pp. 267\u2013279. ACM (2016)","DOI":"10.1145\/2882903.2915239"},{"key":"11_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-319-12206-9_9","volume-title":"Conceptual Modeling","author":"H Koehler","year":"2014","unstructured":"Koehler, H., Link, S., Prade, H., Zhou, X.: Cardinality constraints for uncertain data. In: Yu, E., Dobbie, G., Jarke, M., Purao, S. (eds.) ER 2014. LNCS, vol. 8824, pp. 108\u2013121. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-12206-9_9"},{"issue":"11","key":"11_CR29","first-page":"1118","volume":"8","author":"H K\u00f6hler","year":"2015","unstructured":"K\u00f6hler, H., Link, S., Zhou, X.: Possible and certain SQL keys. PVLDB 8(11), 1118\u20131129 (2015)","journal-title":"PVLDB"},{"issue":"2","key":"11_CR30","first-page":"21","volume":"39","author":"H K\u00f6hler","year":"2016","unstructured":"K\u00f6hler, H., Link, S., Zhou, X.: Discovering meaningful certain keys from incomplete and inconsistent relations. IEEE Data Eng. Bull. 39(2), 21\u201337 (2016)","journal-title":"IEEE Data Eng. Bull."},{"issue":"4","key":"11_CR31","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1016\/0306-4379(90)90048-T","volume":"15","author":"M Lenzerini","year":"1990","unstructured":"Lenzerini, M., Nobili, P.: On the satisfiability of dependency constraints in entity-relationship schemata. Inf. Syst. 15(4), 453\u2013461 (1990)","journal-title":"Inf. Syst."},{"issue":"3","key":"11_CR32","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0169-023X(93)90024-J","volume":"11","author":"SW Liddle","year":"1993","unstructured":"Liddle, S.W., Embley, D.W., Woodfield, S.N.: Cardinality constraints in semantic data models. Data Knowl. Eng. 11(3), 235\u2013270 (1993)","journal-title":"Data Knowl. Eng."},{"issue":"7\u20138","key":"11_CR33","doi-asserted-by":"crossref","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. 45(7\u20138), 565\u2013591 (2008)","journal-title":"Acta Inf."},{"issue":"4","key":"11_CR34","doi-asserted-by":"crossref","first-page":"1026","DOI":"10.1016\/j.jcss.2011.12.012","volume":"78","author":"S Link","year":"2012","unstructured":"Link, S.: Characterisations of multivalued dependency implication over undetermined universes. J. Comput. Syst. Sci. 78(4), 1026\u20131044 (2012)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"11_CR35","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1109\/TFUZZ.2015.2466074","volume":"24","author":"S Link","year":"2016","unstructured":"Link, S., Prade, H.: Possibilistic functional dependencies and their relationship to possibility theory. IEEE Trans. Fuzzy Syst. 24(3), 757\u2013763 (2016)","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"2","key":"11_CR36","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1016\/0022-0000(86)90015-2","volume":"33","author":"H Mannila","year":"1986","unstructured":"Mannila, H., R\u00e4ih\u00e4, K.J.: Design by example: an application of Armstrong relations. J. Comput. Syst. Sci. 33(2), 126\u2013141 (1986)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"11_CR37","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1016\/S0019-9958(83)80002-3","volume":"56","author":"JC Mitchell","year":"1983","unstructured":"Mitchell, J.C.: The implication problem for functional and inclusion dependencies. Inf. Control 56(3), 154\u2013173 (1983)","journal-title":"Inf. Control"},{"key":"11_CR38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.datak.2011.09.004","volume":"73","author":"A Queralt","year":"2012","unstructured":"Queralt, A., Artale, A., Calvanese, D., Teniente, E.: OCL-lite: finite reasoning on UML\/OCL conceptual schemas. Data Knowl. Eng. 73, 1\u201322 (2012)","journal-title":"Data Knowl. Eng."},{"key":"11_CR39","unstructured":"Roblot, T.: Cardinality constraints for probabilistic and possibilistic databases. Ph.D. thesis, Department of Computer Science, The University of Auckland, New Zealand (2016)"},{"key":"11_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-319-25264-3_16","volume-title":"Conceptual Modeling","author":"T Roblot","year":"2015","unstructured":"Roblot, T., Link, S.: Probabilistic cardinality constraints. In: Johannesson, P., Lee, M.L., Liddle, S.W., Opdahl, A.L., L\u00f3pez, \u00d3.P. (eds.) ER 2015. LNCS, vol. 9381, pp. 214\u2013228. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-25264-3_16"},{"key":"11_CR41","series-title":"Synthesis Lectures on Data Management","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01879-4","volume-title":"Probabilistic Databases","author":"D Suciu","year":"2011","unstructured":"Suciu, D., Olteanu, D., R\u00e9, C., Koch, C.: Probabilistic Databases. Synthesis Lectures on Data Management. Morgan & Claypool Publishers, Boston (2011)"},{"issue":"1\/2","key":"11_CR42","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 25(1\/2), 11\u201320 (1989)","journal-title":"Elektronische Informationsverarbeitung und Kybernetik"},{"key":"11_CR43","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 \u2014 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. 645, pp. 7\u201323. Springer, Heidelberg (1992). doi: 10.1007\/3-540-56023-8_3"},{"key":"11_CR44","doi-asserted-by":"crossref","unstructured":"Thalheim, B.: Entity-relationship modeling - foundations of database technology. Springer, Heidelberg (2000)","DOI":"10.1007\/978-3-662-04058-4"},{"key":"11_CR45","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. 2813, pp. 363\u2013375. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-39648-2_29"},{"issue":"2\u20133","key":"11_CR46","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s10817-007-9092-z","volume":"40","author":"D Toman","year":"2008","unstructured":"Toman, D., Weddell, G.E.: On keys and functional dependencies as first-class citizens in description logics. J. Autom. Reasoning 40(2\u20133), 117\u2013132 (2008)","journal-title":"J. Autom. Reasoning"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46397-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T21:14:47Z","timestamp":1657401287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46397-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319463964","9783319463971"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46397-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}