{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:12:36Z","timestamp":1743073956715,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242052"},{"type":"electronic","value":"9783642242069"}],"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-24206-9_15","type":"book-chapter","created":{"date-parts":[[2012,1,27]],"date-time":"2012-01-27T03:23:02Z","timestamp":1327634582000},"page":"252-261","source":"Crossref","is-referenced-by-count":4,"title":["Distributed Datalog Revisited"],"prefix":"10.1007","author":[{"given":"Serge","family":"Abiteboul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meghyn","family":"Bienvenu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alban","family":"Galland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie-Christine","family":"Rousset","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Abrams, Z., Haar, S., Milo, T.: Diagnosis of asynchronous discrete event systems: datalog to the rescue! In: PODS, pp. 358\u2013367 (2005)","DOI":"10.1145\/1065167.1065214"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1007\/s00778-007-0049-y","volume":"17","author":"S. Abiteboul","year":"2008","unstructured":"Abiteboul, S., Benjelloun, O., Milo, T.: The Active XML project: an overview. The VLDB Journal\u00a017, 1019\u20131040 (2008)","journal-title":"The VLDB Journal"},{"key":"15_CR3","unstructured":"Abiteboul, S., Galland, A., Marian, A., Polyzotis, A.: A model for web information management with access control (2010) (in preparation)"},{"key":"15_CR4","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Segoufin, L., Vianu, V.: Static analysis of Active XML systems. In: PODS, pp. 221\u2013230 (2008)","DOI":"10.1145\/1376916.1376948"},{"key":"15_CR6","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1613\/jair.1785","volume":"25","author":"P. Adjiman","year":"2006","unstructured":"Adjiman, P., Chatalic, P., Goasdou\u00e9, F., Rousset, M.-C., Simon, L.: Distributed reasoning in a peer-to-peer setting: Application to the semantic web. J. Artif. Intell. Res. (JAIR)\u00a025, 269\u2013314 (2006)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Alvaro, P., Condie, T., Conway, N., Elmeleegy, K., Hellerstein, J.M., Sears, R.: Boom analytics: exploring data-centric, declarative programming for the cloud. In: EuroSys, pp. 223\u2013236 (2010)","DOI":"10.1145\/1755913.1755937"},{"key":"15_CR8","unstructured":"Antoine, E., Galland, A., Lyngbaek, K., Marian, A., Polyzotis, N.: Social networking on top of the WebdamExchange system. In: ICDE (to appear, 2011)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic sets and other strange ways to implement logic programs. In: PODS, pp. 1\u201315 (1986)","DOI":"10.1145\/6012.15399"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: Datalog\u00b1: a unified approach to ontologies and integrity constraints. In: ICDT, pp. 14\u201330 (2009)","DOI":"10.1145\/1514894.1514897"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Cosmadakis, S.S., Gaifman, H., Kanellakis, P.C., Vardi, M.Y.: Decidable optimization problems for database logic programs (preliminary report). In: STOC, pp. 477\u2013490 (1988)","DOI":"10.1145\/62212.62259"},{"key":"15_CR12","unstructured":"Datalog 2.0. Oxford Univ. (2010), \n                    \n                      http:\/\/www.datalog20.org\/"},{"key":"15_CR13","volume-title":"Reasoning about knowledge","author":"R. Fagin","year":"2003","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. The MIT Press, Cambridge (2003)"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/s007780100054","volume":"10","author":"A.Y. Halevy","year":"2001","unstructured":"Halevy, A.Y.: Answering queries using views: A survey. The VLDB Journal\u00a010, 270\u2013294 (2001)","journal-title":"The VLDB Journal"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/1860702.1860704","volume":"39","author":"J. Hellerstein","year":"2010","unstructured":"Hellerstein, J.: The declarative imperative: Experiences and conjectures in distributed logic. SIGMOD Rec.\u00a039, 5\u201319 (2010)","journal-title":"SIGMOD Rec."},{"key":"15_CR16","unstructured":"Hulin, G.: Parallel processing of recursive queries in distributed architectures. In: VLDB, pp. 87\u201396 (1989)"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Loo, B.T., Condie, T., Hellerstein, J.M., Maniatis, P., Roscoe, T., Stoica, I.: Implementing declarative overlays. In: SOSP, pp. 75\u201390 (2005)","DOI":"10.1145\/1095809.1095818"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Loo, B.T., Hellerstein, J.M., Stoica, I., Ramakrishnan, R.: Declarative routing: extensible routing with declarative queries. In: SIGCOMM, pp. 289\u2013300 (2005)","DOI":"10.1145\/1090191.1080126"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1109\/69.204095","volume":"5","author":"W. Nejdl","year":"1993","unstructured":"Nejdl, W., Ceri, S., Wiederhold, G.: Evaluating recursive queries in distributed databases. IEEE Trans. Knowl. Data Eng.\u00a05, 104\u2013121 (1993)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"15_CR20","unstructured":"Vieille, L.: Recursive axioms in deductive databases: The query\/subquery approach. In: Expert Database Conf., pp. 253\u2013267 (1986)"}],"container-title":["Lecture Notes in Computer Science","Datalog Reloaded"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24206-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:10:42Z","timestamp":1558296642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24206-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242052","9783642242069"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24206-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}