{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T19:52:57Z","timestamp":1790970777482,"version":"4.1.0"},"reference-count":33,"publisher":"Association for Computing Machinery (ACM)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2008,8]]},"abstract":"<jats:p>\n            Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is important that the architectures of these declarative systems be extensible, in order to accommodate unforeseen needs in these new domains. In this paper, we apply the lessons of declarative systems to the\n            <jats:italic>internals<\/jats:italic>\n            of a declarative engine. Specifically, we describe our design and implementation of\n            <jats:italic>Evita Raced<\/jats:italic>\n            , an extensible compiler for the OverLog language used in our declarative networking system,\n            <jats:italic>P2.<\/jats:italic>\n            Evita Raced is a\n            <jats:italic>metacompiler<\/jats:italic>\n            : an OverLog compiler written in OverLog. We describe the minimalist architecture of Evita Raced, including its extensibility interfaces and its reuse of P2's data model and runtime engine. We demonstrate that a declarative language like OverLog is well-suited to expressing traditional and novel query optimizations as well as other query manipulations, in a compact and natural fashion. Finally, we present initial results of Evita Raced extended with various optimization programs, running on both Internet overlay networks and wireless sensor networks.\n          <\/jats:p>","DOI":"10.14778\/1453856.1453978","type":"journal-article","created":{"date-parts":[[2014,6,24]],"date-time":"2014-06-24T12:17:57Z","timestamp":1403612277000},"page":"1153-1165","source":"Crossref","is-referenced-by-count":22,"title":["Evita raced"],"prefix":"10.14778","volume":"1","author":[{"given":"Tyson","family":"Condie","sequence":"first","affiliation":[{"name":"UC Berkeley and Intel Research Berkeley"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Chu","sequence":"additional","affiliation":[{"name":"UC Berkeley and Intel Research Berkeley"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joseph M.","family":"Hellerstein","sequence":"additional","affiliation":[{"name":"UC Berkeley and Intel Research Berkeley"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Petros","family":"Maniatis","sequence":"additional","affiliation":[{"name":"UC Berkeley and Intel Research Berkeley"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,8]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"International Workshop on Networking Meets Databases (NetDB)","author":"Abadi M.","year":"2007","unstructured":"M. Abadi and B. T. Loo . Towards a Declarative Language and System for Secure Networking . In International Workshop on Networking Meets Databases (NetDB) , 2007 . M. Abadi and B. T. Loo. Towards a Declarative Language and System for Secure Networking. In International Workshop on Networking Meets Databases (NetDB), 2007."},{"key":"e_1_2_1_3_1","volume-title":"Declarative Programming for Modular Robots. In Workshop on Self-Reconfigurable Robots\/Systems and Applications","author":"Ashley-Rollman M. P.","year":"2007","unstructured":"M. P. Ashley-Rollman , M. De Rosa , S. S. Srinivasa , P. Pillai , S. C. Goldstein , and J. D. Campbell . Declarative Programming for Modular Robots. In Workshop on Self-Reconfigurable Robots\/Systems and Applications , 2007 . M. P. Ashley-Rollman, M. De Rosa, S. S. Srinivasa, P. Pillai, S. C. Goldstein, and J. D. Campbell. Declarative Programming for Modular Robots. In Workshop on Self-Reconfigurable Robots\/Systems and Applications, 2007."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/342009.335420"},{"key":"e_1_2_1_5_1","volume-title":"SOSP Poster Session","author":"Belarmani N.","year":"2007","unstructured":"N. Belarmani , M. Dahlin , A. Nayate , and J. Zheng . Making Replication Simple with Ursa . In SOSP Poster Session , 2007 . N. Belarmani, M. Dahlin, A. Nayate, and J. Zheng. Making Replication Simple with Ursa. In SOSP Poster Session, 2007."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1322263.1322281"},{"key":"e_1_2_1_7_1","volume-title":"HotNets IV","author":"Condie T.","year":"2005","unstructured":"T. Condie , J. M. Hellerstein , P. Maniatis , and S. R. T. Roscoe . Finally, a use for componentized transport protocols . In HotNets IV , 2005 . T. Condie, J. M. Hellerstein, P. Maniatis, and S. R. T. Roscoe. Finally, a use for componentized transport protocols. In HotNets IV, 2005."},{"key":"e_1_2_1_8_1","volume-title":"OSDI","author":"Cowling J.","year":"2006","unstructured":"J. Cowling , D. Myers , B. Liskov , R. Rodrigues , and L. Shrira . HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance . In OSDI , 2006 . J. Cowling, D. Myers, B. Liskov, R. Rodrigues, and L. Shrira. HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. In OSDI, 2006."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.3115\/1220575.1220611"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/38713.38734"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352592.1352606"},{"key":"e_1_2_1_12_1","volume-title":"The cascades framework for query optimization","author":"Graefe G.","year":"1995","unstructured":"G. Graefe . The cascades framework for query optimization . IEEE Data Eng. Bull ., 18(3), 1995 . G. Graefe. The cascades framework for query optimization. IEEE Data Eng. Bull., 18(3), 1995."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199604)26:4%3C427::AID-SPE20%3E3.3.CO;2-8"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/645478.757691"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/945721.945730"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2002.1134340"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/276304.276315"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/354871.354874"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294267"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065169"},{"key":"e_1_2_1_21_1","volume-title":"Datalog with Constraints: A Foundation for Trust-management Languages. In International Symposium on Practical Aspects of Declarative Languages","author":"Li N.","year":"2003","unstructured":"N. Li and J. Mitchell . Datalog with Constraints: A Foundation for Trust-management Languages. In International Symposium on Practical Aspects of Declarative Languages , 2003 . N. Li and J. Mitchell. Datalog with Constraints: A Foundation for Trust-management Languages. In International Symposium on Practical Aspects of Declarative Languages, 2003."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/50202.50204"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142485"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095818"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1080091.1080126"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/130283.130294"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1975.9939"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/582095.582099"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/646290.686937"},{"key":"e_1_2_1_31_1","volume-title":"VLDB","author":"Shen W.","year":"2007","unstructured":"W. Shen , A. Doan , J. F. Naughton , and R. Ramakrishnan . Declarative information extraction using datalog with embedded extraction predicates . In VLDB , 2007 . W. Shen, A. Doan, J. F. Naughton, and R. Ramakrishnan. Declarative information extraction using datalog with embedded extraction predicates. In VLDB, 2007."},{"key":"e_1_2_1_32_1","volume-title":"NSDI","author":"Singh A.","year":"2008","unstructured":"A. Singh , T. Das , P. Maniatis , P. Druschel , and T. Roscoe . BFT Protocols Under Fire . In NSDI , 2008 . A. Singh, T. Das, P. Maniatis, P. Druschel, and T. Roscoe. BFT Protocols Under Fire. In NSDI, 2008."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217973"},{"key":"e_1_2_1_34_1","volume-title":"Volume II: The New Technologies","author":"Ullman J. D.","year":"1990","unstructured":"J. D. Ullman . Principles of Database and Knowledge-Base Systems : Volume II: The New Technologies . W. H. Freeman & amp; Co., New York, NY, USA, 1990 . J. D. Ullman. Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies. W. H. Freeman &amp; Co., New York, NY, USA, 1990."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1247480.1247486"}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/1453856.1453978","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T11:02:32Z","timestamp":1672225352000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/1453856.1453978"}},"subtitle":["metacompilation for declarative networks"],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["10.14778\/1453856.1453978"],"URL":"https:\/\/doi.org\/10.14778\/1453856.1453978","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2008,8]]}}}