{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:17:39Z","timestamp":1725520659169},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540894384"},{"type":"electronic","value":"9783540894391"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89439-1_5","type":"book-chapter","created":{"date-parts":[[2008,11,14]],"date-time":"2008-11-14T22:03:10Z","timestamp":1226700190000},"page":"62-78","source":"Crossref","is-referenced-by-count":7,"title":["Towards Practical Feasibility of Core Computation in Data Exchange"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Pichler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vadim","family":"Savenkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","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, 952\u2013985 (1982)","journal-title":"J. ACM"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci.\u00a0336, 89\u2013124 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/1061318.1061323","volume":"30","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Popa, L.: Data exchange: getting to the core. ACM Trans. Database Syst.\u00a030, 174\u2013210 (2005)","journal-title":"ACM Trans. Database Syst."},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1145\/1634.1636","volume":"31","author":"C. Beeri","year":"1984","unstructured":"Beeri, C., Vardi, M.Y.: A proof procedure for data dependencies. J. ACM\u00a031, 718\u2013741 (1984)","journal-title":"J. ACM"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0012-365X(92)90282-K","volume":"109","author":"P. Hell","year":"1992","unstructured":"Hell, P., Ne\u0161et\u0159il, J.: The core of a graph. Discrete Mathematics\u00a0109, 117\u2013126 (1992)","journal-title":"Discrete Mathematics"},{"key":"5_CR6","first-page":"40","volume-title":"Proc. PODS 2006","author":"G. Gottlob","year":"2006","unstructured":"Gottlob, G., Nash, A.: Data exchange: computing cores in polynomial time. In: Proc. PODS 2006, pp. 40\u201349. ACM Press, New York (2006)"},{"key":"5_CR7","unstructured":"Pichler, R., Savenkov, V.: Towards practical feasibility of core computation in data exchange. Technical Report DBAI-TR-2008-57, TU Vienna (2008), \n                    \n                      http:\/\/www.dbai.tuwien.ac.at\/research\/report\/dbai-tr-2008-57.pdf"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-36285-1_15","volume-title":"Database Theory - ICDT 2003","author":"A. Deutsch","year":"2002","unstructured":"Deutsch, A., Tannen, V.: Reformulation of XML queries and constraints. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol.\u00a02572, pp. 225\u2013238. Springer, Heidelberg (2002)"},{"key":"5_CR9","first-page":"148","volume-title":"Proc. PODS 2005","author":"G. Gottlob","year":"2005","unstructured":"Gottlob, G.: Computing cores for data exchange: new algorithms and practical solutions. In: Proc. PODS 2005, pp. 148\u2013159. ACM Press, New York (2005)"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89439-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T21:33:02Z","timestamp":1551648782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89439-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540894384","9783540894391"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89439-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}