{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T20:35:50Z","timestamp":1761510950156,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642201516"},{"type":"electronic","value":"9783642201523"}],"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-20152-3_17","type":"book-chapter","created":{"date-parts":[[2011,4,8]],"date-time":"2011-04-08T18:42:08Z","timestamp":1302288128000},"page":"225-234","source":"Crossref","is-referenced-by-count":1,"title":["Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case"],"prefix":"10.1007","author":[{"given":"Maria","family":"Amalfi","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Artale","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Cal\u00ec","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Provetti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","first-page":"10","volume-title":"ICDE","author":"B. Alexe","year":"2008","unstructured":"Alexe, B., Chiticariu, L., Miller, R.J., Tan, W.C.: Muse: Mapping understanding and design by example. In: ICDE, pp. 10\u201319. IEEE, Los Alamitos (2008)"},{"issue":"4","key":"17_CR2","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1145\/320610.320620","volume":"5","author":"W. Armstrong","year":"1990","unstructured":"Armstrong, W., Delobel, C.: Decompositions and functional dependencies in relations. ACM Trans. on Database Systems (TODS)\u00a05(4), 404\u2013430 (1990)","journal-title":"ACM Trans. on Database Systems (TODS)"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Conceptual Modeling \u2013 ER 2010","author":"A. Artale","year":"2010","unstructured":"Artale, A., Calvanese, D., Ibanez-Garcia, A.: Full satisfiability of UML class diagrams. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol.\u00a06412, Springer, Heidelberg (2010)"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-540-75563-0_20","volume-title":"Conceptual Modeling - ER 2007","author":"A. Artale","year":"2007","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Reasoning over extended ER models. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol.\u00a04801, pp. 277\u2013292. Springer, Heidelberg (2007)"},{"key":"17_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.2820","volume":"36","author":"A. Artale","year":"2009","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-lite family and relations. J. Artif. Intell. Res. (JAIR)\u00a036, 1\u201369 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1007\/11733836_44","volume-title":"Database Systems for Advanced Applications","author":"A. Cal\u00ec","year":"2006","unstructured":"Cal\u00ec, A.: Containment of conjunctive queries over conceptual schemata. In: Li Lee, M., Tan, K.-L., Wuwongse, V. (eds.) DASFAA 2006. LNCS, vol.\u00a03882, pp. 628\u2013643. Springer, Heidelberg (2006)"},{"key":"17_CR7","volume-title":"AAAI","author":"F. Calimeri","year":"2010","unstructured":"Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Enhancing asp by functions: Decidable classes and implementation techniques. In: Fox, M., Poole, D. (eds.) AAAI. AAAI Press, Menlo Park (2010)"},{"issue":"3","key":"17_CR8","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1016\/j.is.2005.12.007","volume":"32","author":"F. DeMarchi","year":"2007","unstructured":"DeMarchi, F., Petit, J.M.: Semantic sampling of existing databases through informative armstrong databases. Information Systems\u00a032(3), 446\u2013457 (2007)","journal-title":"Information Systems"},{"issue":"1","key":"17_CR9","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/0020-0190(83)90005-4","volume":"16","author":"R. Fagin","year":"1983","unstructured":"Fagin, R., Vardi, M.Y.: Armstrong databases for functional and inclusion dependencies. Information Processing Letters\u00a016(1), 13\u201319 (1983)","journal-title":"Information Processing Letters"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing, 365\u2013387 (1991)","DOI":"10.1007\/BF03037169"},{"issue":"4","key":"17_CR11","first-page":"385","volume":"9","author":"G. Gottlob","year":"1990","unstructured":"Gottlob, G., Libkin, L.: Investigations on armstrong relations, dependency inference and excluded functional dependencies. Acta Cybernetica\u00a09(4), 385\u2013402 (1990)","journal-title":"Acta Cybernetica"},{"key":"17_CR12","first-page":"39","volume-title":"SAC","author":"F. Kl\u00fcgl","year":"2008","unstructured":"Kl\u00fcgl, F.: A validation methodology for agent-based simulations. In: Wainwright, R.L., Haddad, H. (eds.) SAC, pp. 39\u201343. ACM, New York (2008)"},{"issue":"5","key":"17_CR13","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1057\/jors.1989.83","volume":"40","author":"R.M. O\u2019Keefe","year":"1989","unstructured":"O\u2019Keefe, R.M.: The validation of expert systems revisited. The Journal of the Operational Research Society\u00a040(5), 509\u2013511 (1989)","journal-title":"The Journal of the Operational Research Society"},{"key":"17_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04058-4","volume-title":"Entity-Relationship Modeling: Foundations of Database Technology","author":"B. Thalheim","year":"2000","unstructured":"Thalheim, B.: Entity-Relationship Modeling: Foundations of Database Technology. Springer, Berlin (2000)"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-30464-7_9","volume-title":"Conceptual Modeling \u2013 ER 2004","author":"S. Vigna","year":"2004","unstructured":"Vigna, S.: Reachability problems in entity-relationship schema instances. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol.\u00a03288, pp. 96\u2013109. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Database Systems for Advanced Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20152-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:14:01Z","timestamp":1558556041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20152-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642201516","9783642201523"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20152-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}