{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T04:04:07Z","timestamp":1746417847200,"version":"3.40.4"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_13","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"181-195","source":"Crossref","is-referenced-by-count":20,"title":["Logical Foundations of Possibilistic Keys"],"prefix":"10.1007","author":[{"given":"Henning","family":"Koehler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Leck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Link","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henri","family":"Prade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Armstrong, W.W.: Dependency structures of data base relationships. In: IFIP Congress, pp. 580\u2013583 (1974)","DOI":"10.1515\/9783110840308-026"},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","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\u00a031(1), 30\u201346 (1984)","journal-title":"J. ACM"},{"issue":"3","key":"13_CR3","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1023\/A:1011298804831","volume":"14","author":"S. Benferhat","year":"2001","unstructured":"Benferhat, S., Dubois, D., Prade, H.: Towards a possibilistic logic handling of preferences. Appl. Intell.\u00a014(3), 303\u2013317 (2001)","journal-title":"Appl. Intell."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Beskales, G., Ilyas, I.F., Golab, L.: Sampling the repairs of functional dependency violations under hard constraints. PVLDB 3(1) (2010)","DOI":"10.14778\/1920841.1920870"},{"issue":"2","key":"13_CR5","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0004-3702(02)00208-4","volume":"139","author":"S. Bistarelli","year":"2002","unstructured":"Bistarelli, S., Codognet, P., Rossi, F.: Abstracting soft constraints: Framework, properties, examples. Artif. Intell.\u00a0139(2), 175\u2013211 (2002)","journal-title":"Artif. Intell."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Bosc, P., Dubois, D., Prade, H.: Fuzzy functional dependencies \u2013 an overview and a critical discussion. In: Proc. of the 3rd IEEE Inter. Conf. on Fuzzy Systems (FUZZ-IEEE 1994), Orlando, FL, June 26-29, pp. 325\u2013330 (1994)","DOI":"10.1109\/FUZZY.1994.343753"},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0165-0114(02)00530-4","volume":"140","author":"P. Bosc","year":"2003","unstructured":"Bosc, P., Pivert, O.: On the impact of regular functional dependencies when moving to a possibilistic database framework. Fuzzy Sets and Systems\u00a0140(1), 207\u2013227 (2003)","journal-title":"Fuzzy Sets and Systems"},{"key":"13_CR8","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Keys for free in description logics. In: Baader, F., Sattler, U. (eds.) Proceedings of the 2000 International Workshop on Description Logics (DL 2000), Aachen, Germany, August 17-19. CEUR Workshop Proceedings, vol.\u00a033, pp. 79\u201388. CEUR-WS.org (2000)"},{"key":"13_CR9","unstructured":"Chu, X., Ilyas, I.F., Papotti, P.: Holistic data cleaning: Putting violations into context. In: Jensen, C.S., Jermaine, C.M., Zhou, X. (eds.) 29th IEEE International Conference on Data Engineering, ICDE 2013, Brisbane, Australia, April 8-12, pp. 458\u2013469. IEEE Computer Society (2013)"},{"issue":"6","key":"13_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. Commun. ACM\u00a013(6), 377\u2013387 (1970)","journal-title":"Commun. ACM"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-19121-6_7","volume-title":"MFDBS 87","author":"J. Demetrovics","year":"1988","unstructured":"Demetrovics, J., Katona, G.O.H.: Extremal combinatorial problems of database models. In: Biskup, J., Demetrovics, J., Paredaens, J., Thalheim, B. (eds.) MFDBS 1987. LNCS, vol.\u00a0305, pp. 99\u2013127. Springer, Heidelberg (1988)"},{"issue":"3","key":"13_CR12","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."},{"issue":"1","key":"13_CR13","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/69.273026","volume":"6","author":"D. Dubois","year":"1994","unstructured":"Dubois, D., Lang, J., Prade, H.: Automated reasoning using possibilistic logic: Semantics, belief revision, and variable certainty weights. IEEE Trans. Knowl. Data Eng.\u00a06(1), 64\u201371 (1994)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"2","key":"13_CR14","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0004-3702(91)90101-O","volume":"50","author":"D. Dubois","year":"1991","unstructured":"Dubois, D., Prade, H.: Epistemic entrenchment and possibilistic logic. Artif. Intell.\u00a050(2), 223\u2013239 (1991)","journal-title":"Artif. Intell."},{"issue":"1-2","key":"13_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(03)00118-8","volume":"148","author":"D. Dubois","year":"2003","unstructured":"Dubois, D., Prade, H.: Fuzzy set and possibility theory-based methods in artificial intelligence. Artif. Intell.\u00a0148(1-2), 1\u20139 (2003)","journal-title":"Artif. Intell."},{"key":"13_CR16","unstructured":"Dubois, D., Prade, H., Schockaert, S.: Stable models in generalized possibilistic logic. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14. AAAI Press (2012)"},{"issue":"6","key":"13_CR17","doi-asserted-by":"publisher","first-page":"1278","DOI":"10.1137\/S0097539793250299","volume":"24","author":"T. Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: Identifying the minimal transversals of a hypergraph and related problems. SIAM J. Comput.\u00a024(6), 1278\u20131304 (1995)","journal-title":"SIAM J. Comput."},{"issue":"4","key":"13_CR18","doi-asserted-by":"publisher","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\u00a029(4), 952\u2013985 (1982)","journal-title":"J. ACM"},{"issue":"2","key":"13_CR19","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(94)90017-5","volume":"65","author":"P. G\u00e4rdenfors","year":"1994","unstructured":"G\u00e4rdenfors, P., Makinson, D.: Nonmonotonic inference based on expectations. Artif. Intell.\u00a065(2), 197\u2013245 (1994)","journal-title":"Artif. Intell."},{"issue":"1","key":"13_CR20","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/0890-5401(91)90077-F","volume":"91","author":"D. Geiger","year":"1991","unstructured":"Geiger, D., Paz, A., Pearl, J.: Axioms and algorithms for inferences involving probabilistic independence. Inf. Comput.\u00a091(1), 128\u2013141 (1991)","journal-title":"Inf. Comput."},{"issue":"11","key":"13_CR21","doi-asserted-by":"publisher","first-page":"1273","DOI":"10.1002\/int.1059","volume":"16","author":"M. Grabisch","year":"2001","unstructured":"Grabisch, M., Prade, H.: The correlation problem in sensor fusion in a possibilistic framework. Int. J. Intell. Syst.\u00a016(11), 1273\u20131283 (2001)","journal-title":"Int. J. Intell. Syst."},{"issue":"2","key":"13_CR22","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"Grove, A.: Two modellings for theory change. Journal of Philosophical Logic\u00a017(2), 157\u2013170 (1988)","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"13_CR23","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s00778-011-0239-5","volume":"21","author":"S. Hartmann","year":"2012","unstructured":"Hartmann, S., Kirchberg, M., Link, S.: Design by example for SQL table definitions with functional dependencies. VLDB J\u00a021(1), 121\u2013144 (2012)","journal-title":"VLDB J"},{"issue":"7","key":"13_CR24","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."},{"key":"13_CR25","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"},{"issue":"5","key":"13_CR26","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."},{"issue":"4","key":"13_CR27","first-page":"301","volume":"7","author":"A. Heise","year":"2013","unstructured":"Heise, A., Quiane-Ruiz, J.-A., Abedjan, Z., Jentzsch, A., Naumann, F.: Scalable discovery of unique column combinations. PVLDB\u00a07(4), 301\u2013312 (2013)","journal-title":"PVLDB"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Jha, A.K., Rastogi, V., Suciu, D.: Query evaluation with soft-key constraints. In: Lenzerini, M., Lembo, D. (eds.) Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, Vancouver, BC, Canada, June 9-11, pp. 119\u2013128. ACM (2008)","DOI":"10.1145\/1376916.1376934"},{"key":"13_CR29","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1613\/jair.1542","volume":"23","author":"C. Lutz","year":"2005","unstructured":"Lutz, C., Areces, C., Horrocks, I., Sattler, U.: Keys, nominals, and concrete domains. J. Artif. Intell. Res. (JAIR)\u00a023, 667\u2013726 (2005)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"2","key":"13_CR30","doi-asserted-by":"publisher","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.\u00a033(2), 126\u2013141 (1986)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"13_CR31","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0169-023X(94)90023-X","volume":"12","author":"H. Mannila","year":"1994","unstructured":"Mannila, H., R\u00e4ih\u00e4, K.J.: Algorithms for inferring functional dependencies from relations. Data Knowl. Eng.\u00a012(1), 83\u201399 (1994)","journal-title":"Data Knowl. Eng."},{"key":"13_CR32","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.artint.2013.06.005","volume":"202","author":"M. Niepert","year":"2013","unstructured":"Niepert, M., Gyssens, M., Sayrafi, B., Gucht, D.V.: On the conditional independence implication problem: A lattice-theoretic approach. Artif. Intell.\u00a0202, 29\u201351 (2013)","journal-title":"Artif. Intell."},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"Qi, G., Wang, K.: Conflict-based belief revision operators in possibilistic logic. In: Hoffmann, J., Selman, B. (eds.) Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, Toronto, Ontario, Canada, July 22-26. AAAI Press (2012)","DOI":"10.1609\/aaai.v26i1.8226"},{"issue":"3-4","key":"13_CR34","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1016\/S0888-613X(98)10019-1","volume":"19","author":"R. Sabbadin","year":"1998","unstructured":"Sabbadin, R., Fargier, H., Lang, J.: Towards qualitative approaches to multi-stage decision making. Int. J. Approx. Reasoning\u00a019(3-4), 441\u2013471 (1998)","journal-title":"Int. J. Approx. Reasoning"},{"key":"13_CR35","unstructured":"Sarma, A.D., Ullman, J.D., Widom, J.: Schema design for uncertain databases. In: Arenas, M., Bertossi, L.E. (eds.) Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, Arequipa, Peru, May 12-15. CEUR Workshop Proceedings, vol.\u00a0450. CEUR-WS.org (2009)"},{"issue":"4","key":"13_CR36","doi-asserted-by":"publisher","first-page":"1038","DOI":"10.1109\/21.247887","volume":"23","author":"Q. Shen","year":"1993","unstructured":"Shen, Q., Leitch, R.: Fuzzy qualitative simulation. IEEE Transactions on Systems, Man, and Cybernetics\u00a023(4), 1038\u20131061 (1993)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"13_CR37","doi-asserted-by":"crossref","unstructured":"Suciu, D., Olteanu, D., R\u00e9, C., Koch, C.: Probabilistic Databases. Synthesis Lectures on Data Management. Morgan & Claypool Publishers (2011)","DOI":"10.1007\/978-3-031-01879-4"},{"issue":"1\/2","key":"13_CR38","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"},{"issue":"2-3","key":"13_CR39","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.E.: 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"},{"key":"13_CR40","unstructured":"Zadeh, L.A.: Approximate reasoning based on fuzzy logic. In: Buchanan, B.G. (ed.) Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI 1979, Tokyo, Japan, August 20-23, vol.\u00a02, pp. 1004\u20131010. William Kaufmann (1979)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T16:54:48Z","timestamp":1746377688000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}