{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T17:13:47Z","timestamp":1784135627270,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642242052","type":"print"},{"value":"9783642242069","type":"electronic"}],"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_16","type":"book-chapter","created":{"date-parts":[[2012,1,27]],"date-time":"2012-01-27T08:23:02Z","timestamp":1327652582000},"page":"262-281","source":"Crossref","is-referenced-by-count":56,"title":["Dedalus: Datalog in Time and Space"],"prefix":"10.1007","author":[{"given":"Peter","family":"Alvaro","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"William R.","family":"Marczak","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Neil","family":"Conway","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joseph M.","family":"Hellerstein","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Maier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Russell","family":"Sears","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Structure and Interpretation of Computer Programs","year":"1996","unstructured":"Abelson, H., Sussman, G.J. (eds.): Structure and Interpretation of Computer Programs, 2nd edn. McGraw Hill, New York (1996)","edition":"2"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Alvaro, P., Condie, T., Conway, N., Elmeleegy, K., Hellerstein, J.M., Sears, R.C.: BOOM Analytics: Exploring Data-centric, Declarative Programming for the Cloud. In: EuroSys (2010)","DOI":"10.1145\/1755913.1755937"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Alvaro, P., Condie, T., Conway, N., Hellerstein, J.M., Sears, R.: I Do Declare: Consensus in a logic language. In: NetDB (2009)","DOI":"10.1145\/1713254.1713261"},{"key":"16_CR4","unstructured":"Ashley-Rollman, M.P., et al.: Declarative programming for modular robots. In: Workshop on Self-Reconfigurable Robots\/Systems and Applications (2007)"},{"key":"16_CR5","unstructured":"Belaramani, N., Zheng, J., Nayate, A., Soul\u00e9, R., Dahlin, M., Grimm, R.: PADS: A policy architecture for distributed storage systems. In: NSDI (2009)"},{"issue":"1","key":"16_CR6","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1017\/S1471068400001034","volume":"1","author":"E. Bertino","year":"2001","unstructured":"Bertino, E., Catania, B., Gori, R.: Enhancing the Expressive Power of the U-Datalog Language. Theory and Practice of Logic Programming\u00a01(1), 105\u2013122 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/69.50907","volume":"2","author":"D. Chimenti","year":"1990","unstructured":"Chimenti, D., Gamboa, R., Krishnamurthy, R., Naqvi, S., Tsur, S., Zaniolo, C.: The LDL System Prototype. IEEE Trans. on Knowl. and Data Eng.\u00a02(1), 76\u201390 (1990)","journal-title":"IEEE Trans. on Knowl. and Data Eng."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Chu, D.C., Popa, L., Tavakoli, A., Hellerstein, J.M., Levis, P., Shenker, S., Stoica, I.: The design and implementation of a declarative sensor network system. In: 5th ACM Conference on Embedded Networked Sensor Systems, SenSys (2007)","DOI":"10.1145\/1322263.1322281"},{"key":"16_CR9","unstructured":"Cleary, J.G., Utting, M., Clayton, R.: Data Structures Considered Harmful. In: Australasian Workshop on Computational Logic (2000)"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BF01228879","volume":"3","author":"M.A. Derr","year":"1994","unstructured":"Derr, M.A., Morishita, S., Phipps, G.: The Glue-Nail Deductive Database System: Design, Implementation, and Evaluation. The VLDB Journal\u00a03, 123\u2013160 (1994)","journal-title":"The VLDB Journal"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Eisner, J., Goldlust, E., Smith, N.A.: Dyna: a declarative language for implementing dynamic programs. In: Proc. ACL (2004)","DOI":"10.3115\/1219044.1219076"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BFb0055496","volume-title":"Transactions and Change in Logic Databases","author":"W.M. Georg Lausen","year":"1998","unstructured":"Georg Lausen, W.M., Lud\u00e4scher, B.: On active deductive databases: The statelog approach. In: Kifer, M., Voronkov, A., Freitag, B., Decker, H. (eds.) Dagstuhl Seminar 1997, DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol.\u00a01472, pp. 69\u2013106. Springer, Heidelberg (1998)"},{"key":"16_CR13","unstructured":"Greco, S., Zaniolo, C.: Greedy Algorithms in Datalog with Choice and Negation. In: Proceedings of the Joint International Conference and Symposium on Logic Programming, pp. 294\u2013309 (1998)"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Jim, T.: Sd3: A trust management system with certified evaluation. In: IEEE Symposium on Security and Privacy, pp. 106\u2013115 (2001)","DOI":"10.1109\/SECPRI.2001.924291"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Lam, M.S., Whaley, J., Livshits, V.B., Martin, M.C., Avots, D., Carbin, M., Unkel, C.: Context-sensitive program analysis as database queries. In: PODS (2005)","DOI":"10.1145\/1065167.1065169"},{"issue":"7","key":"16_CR16","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"issue":"3","key":"16_CR17","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Toplas\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Toplas"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-36388-2_6","volume-title":"Practical Aspects of Declarative Languages","author":"N. Li","year":"2002","unstructured":"Li, N., Mitchell, J.: Datalog with constraints: A foundation for trust-management languages. In: Dahl, V. (ed.) PADL 2003. LNCS, vol.\u00a02562, pp. 58\u201373. Springer, Heidelberg (2002)"},{"key":"16_CR19","first-page":"1435","volume":"1","author":"M. Liu","year":"1994","unstructured":"Liu, M., Cleary, J.: Declarative Updates in Deductive Databases. Journal of Computing and Information\u00a01, 1435\u20131446 (1994)","journal-title":"Journal of Computing and Information"},{"issue":"11","key":"16_CR20","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/1592761.1592785","volume":"52","author":"B.T. Loo","year":"2009","unstructured":"Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative Networking. Communications of the ACM\u00a052(11), 87\u201395 (2009)","journal-title":"Communications of the ACM"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Loo, B.T., Hellerstein, J.M., Stoica, I., Ramakrishnan, R.: Declarative routing: Extensible routing with declarative queries. In: SIGCOMM (2005)","DOI":"10.1145\/1080091.1080126"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/10704567_18","volume-title":"Principles and Practice of Declarative Programming","author":"L. Lu","year":"1999","unstructured":"Lu, L., Cleary, J.G.: An Operational Semantics of Starlog. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 131\u2013162. Springer, Heidelberg (1999)"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Mao, Y.: On the declarativity of declarative networking. In: NetDB (2009)","DOI":"10.1145\/1713254.1713260"},{"key":"16_CR24","volume-title":"Distributed Systems","year":"1993","unstructured":"Mullender, S. (ed.): Distributed Systems, 2nd edn. Addison-Wesley, Reading (1993)","edition":"2"},{"issue":"3-4","key":"16_CR25","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/BF01536403","volume":"15","author":"I.S. Mumick","year":"1995","unstructured":"Mumick, I.S., Shmueli, O.: How expressive is stratified aggregation? Annals of Mathematics and Artificial Intelligence\u00a015(3-4), 407\u2013435 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"16_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-92995-6_6","volume-title":"Practical Aspects of Declarative Languages","author":"J.A. Navarro","year":"2008","unstructured":"Navarro, J.A., Rybalchenko, A.: Operational Semantics for Declarative Networking. In: Gill, A., Swift, T. (eds.) PADL 2009. LNCS, vol.\u00a05418, pp. 76\u201390. Springer, Heidelberg (2008)"},{"key":"16_CR27","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"T.C. Przymusinski","year":"1988","unstructured":"Przymusinski, T.C.: On the Declarative Semantics of Deductive Databases and Logic Programs. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 193\u2013216. Morgan Kaufmann, Los Altos (1988)"},{"issue":"5-6","key":"16_CR28","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1006\/jsco.1996.0064","volume":"22","author":"V. Saraswat","year":"1996","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: Timed Default Concurrent Constraint Programming. Journal of Symbolic Computation\u00a022(5-6), 475\u2013520 (1996)","journal-title":"Journal of Symbolic Computation"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Jagadeesan, R., Gupta, V.: Foundations of Timed Concurrent Constraint Programming. In: LICS, pp. 71\u201380 (1994)","DOI":"10.1109\/LICS.1994.316085"},{"key":"16_CR30","series-title":"The New Technologies","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J.D. Ullman","year":"1990","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems. The New Technologies, vol.\u00a0II. W. H. Freeman & Co., New York (1990)"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"White, W., et al.: Scaling games to epic proportions. In: SIGMOD (2007)","DOI":"10.1145\/1247480.1247486"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Zhou, W., Mao, Y., Loo, B.T., Abadi, M.: Unified declarative platform for secure netwoked information systems. In: ICDE, pp. 150\u2013161 (2009)","DOI":"10.1109\/ICDE.2009.58"}],"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_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T09:29:23Z","timestamp":1742376563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24206-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242052","9783642242069"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24206-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}