{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:04:56Z","timestamp":1725753896569},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642416590"},{"type":"electronic","value":"9783642416606"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41660-6_20","type":"book-chapter","created":{"date-parts":[[2013,10,28]],"date-time":"2013-10-28T10:59:31Z","timestamp":1382957971000},"page":"382-399","source":"Crossref","is-referenced-by-count":10,"title":["First-Order Provenance Games"],"prefix":"10.1007","author":[{"given":"Sven","family":"K\u00f6hler","sequence":"first","affiliation":[]},{"given":"Bertram","family":"Lud\u00e4scher","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Zinn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Amsterdamer, Y., Deutch, D., Tannen, V.: Provenance for aggregate queries. In: PODS, pp. 153\u2013164. ACM (2011)","DOI":"10.1145\/1989284.1989302"},{"volume-title":"Workshop on Theory and Practice of Provenance (TaPP)","year":"2011","author":"Y. Amsterdamer","key":"20_CR2","unstructured":"Amsterdamer, Y., Deutch, D., Tannen, V.: On the limitations of provenance for queries with difference. In: Workshop on Theory and Practice of Provenance (TaPP), Heraklion, Crete (2011)"},{"key":"20_CR3","unstructured":"Benjelloun, O., Sarma, A., Halevy, A., Widom, J.: Uldbs: Databases with uncertainty and lineage. In: VLDB, pp. 953\u2013964 (2006)"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/3-540-44503-X_20","volume-title":"Database Theory - ICDT 2001","author":"P. Buneman","year":"2000","unstructured":"Buneman, P., Khanna, S., Tan, W.-C.: Why and where: A characterization of data provenance. In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol.\u00a01973, pp. 316\u2013330. Springer, Heidelberg (2000)"},{"issue":"4","key":"20_CR5","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1561\/1900000006","volume":"1","author":"J. Cheney","year":"2009","unstructured":"Cheney, J., Chiticariu, L., Tan, W.: Provenance in databases: Why, how, and where. Foundations and Trends in Databases\u00a01(4), 379\u2013474 (2009)","journal-title":"Foundations and Trends in Databases"},{"issue":"2","key":"20_CR6","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/357775.357777","volume":"25","author":"Y. Cui","year":"2000","unstructured":"Cui, Y., Widom, J., Wiener, J.: Tracing the lineage of view data in a warehousing environment. ACM Transactions on Database Systems (TODS)\u00a025(2), 179\u2013227 (2000)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"issue":"1","key":"20_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1023\/A:1006463732291","volume":"17","author":"J. Flum","year":"2000","unstructured":"Flum, J.: Games, kernels, and antitone operations. Order\u00a017(1), 61\u201373 (2000)","journal-title":"Order"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/3-540-62222-5_40","volume-title":"Database Theory - ICDT \u201997","author":"J. Flum","year":"1997","unstructured":"Flum, J., Kubierschky, M., Lud\u00e4scher, B.: Total and partial well-founded datalog coincide. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol.\u00a01186, pp. 113\u2013124. Springer, Heidelberg (1997)"},{"issue":"2","key":"20_CR9","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/S0304-3975(99)00222-4","volume":"239","author":"J. Flum","year":"2000","unstructured":"Flum, J., Kubierschky, M., Lud\u00e4scher, B.: Games and total datalog\u00ac queries. Theoretical Computer Science\u00a0239(2), 257\u2013276 (2000)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"20_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.jal.2009.09.001","volume":"8","author":"F. Geerts","year":"2010","unstructured":"Geerts, F., Poggi, A.: On database query languages for k-relations. Journal of Applied Logic\u00a08(2), 173\u2013185 (2010)","journal-title":"Journal of Applied Logic"},{"issue":"2","key":"20_CR11","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s00224-011-9327-6","volume":"49","author":"T. Green","year":"2011","unstructured":"Green, T.: Containment of conjunctive queries on annotated relations. Theory of Computing Systems\u00a049(2), 429\u2013459 (2011)","journal-title":"Theory of Computing Systems"},{"issue":"2","key":"20_CR12","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/s00224-011-9323-x","volume":"49","author":"T. Green","year":"2011","unstructured":"Green, T., Ives, Z., Tannen, V.: Reconcilable differences. Theory of Computing Systems\u00a049(2), 460\u2013488 (2011)","journal-title":"Theory of Computing Systems"},{"key":"20_CR13","unstructured":"Green, T., Karvounarakis, G., Ives, Z., Tannen, V.: Update exchange with mappings and provenance. In: VLDB, pp. 675\u2013686 (2007)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Green, T., Karvounarakis, G., Tannen, V.: Provenance semirings. In: PODS, pp. 31\u201340 (2007)","DOI":"10.1145\/1265530.1265535"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Huang, S., Green, T., Loo, B.: Datalog and emerging applications: an interactive tutorial. In: SIGMOD, pp. 1213\u20131216 (2011)","DOI":"10.1145\/1989323.1989456"},{"issue":"3","key":"20_CR16","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/2380776.2380778","volume":"41","author":"G. Karvounarakis","year":"2012","unstructured":"Karvounarakis, G., Green, T.J.: Semiring-annotated data: queries and provenance. SIGMOD Record\u00a041(3), 5\u201314 (2012)","journal-title":"SIGMOD Record"},{"key":"20_CR17","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF01448847","volume":"100","author":"J. Neumann von","year":"1928","unstructured":"von Neumann, J.: Zur Theorie der Gesellschaftsspiele. Mathematische Annalen\u00a0100, 295\u2013320 (1928)","journal-title":"Mathematische Annalen"},{"issue":"1","key":"20_CR18","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1006\/game.2000.0794","volume":"34","author":"U. Schwalbe","year":"2001","unstructured":"Schwalbe, U., Walker, P.: Zermelo and the early history of game theory. Games and Economic Behavior\u00a034(1), 123\u2013137 (2001)","journal-title":"Games and Economic Behavior"},{"issue":"1","key":"20_CR19","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0022-0000(93)90024-Q","volume":"47","author":"A. Gelder Van","year":"1993","unstructured":"Van Gelder, A.: The alternating fixpoint of logic programs with negation. Journal of Computer and System Sciences\u00a047(1), 185\u2013221 (1993)","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"20_CR20","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. Journal of the ACM (JACM)\u00a038(3), 619\u2013649 (1991)","journal-title":"Journal of the ACM (JACM)"},{"key":"20_CR21","unstructured":"Zermelo, E.: \u00dcber eine Anwendung der Mengenlehre auf die Theorie des Schachspiels. In: Fifth Intl. Congress of Mathematicians, vol.\u00a02, pp. 501\u2013504. Cambridge University Press (1913)"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Zinn, D., Green, T.J., Lud\u00e4scher, B.: Win-move is coordination-free (sometimes). In: Intl. Conf. on Database Theory (ICDT), pp. 99\u2013113 (2012)","DOI":"10.1145\/2274576.2274588"}],"container-title":["Lecture Notes in Computer Science","In Search of Elegance in the Theory and Practice of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41660-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T00:17:06Z","timestamp":1558657026000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41660-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642416590","9783642416606"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41660-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}