{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T22:16:00Z","timestamp":1765232160562},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"8","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2012,4]]},"abstract":"<jats:p>\n            This paper presents Cologne, a declarative optimization platform that enables constraint optimization problems (COPs) to be declaratively specified and incrementally executed in distributed systems. Cologne integrates a\n            <jats:italic>declarative networking<\/jats:italic>\n            engine with an off-the-shelf constraint solver. We have developed the\n            <jats:italic>Colog<\/jats:italic>\n            language that combines distributed Datalog used in declarative networking with language constructs for specifying goals and constraints used in COPs. Cologne uses novel query processing strategies for processing\n            <jats:italic>Colog<\/jats:italic>\n            programs, by combining the use of bottom-up distributed Datalog evaluation with top-down goal-oriented constraint solving. Using case studies based on cloud and wireless network optimizations, we demonstrate that Cologne (1) can flexibly support a wide range of policy-based optimizations in distributed systems, (2) results in orders of magnitude less code compared to imperative implementations, and (3) is highly efficient with low overhead and fast convergence times.\n          <\/jats:p>","DOI":"10.14778\/2212351.2212357","type":"journal-article","created":{"date-parts":[[2014,6,24]],"date-time":"2014-06-24T12:17:57Z","timestamp":1403612277000},"page":"752-763","source":"Crossref","is-referenced-by-count":17,"title":["Cologne"],"prefix":"10.14778","volume":"5","author":[{"given":"Changbin","family":"Liu","sequence":"first","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu","family":"Ren","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boon Thau","family":"Loo","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yun","family":"Mao","sequence":"additional","affiliation":[{"name":"AT&amp;T Labs. - Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Prithwish","family":"Basu","sequence":"additional","affiliation":[{"name":"Raytheon BBN Technologies"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,4]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"CHOCO Solver. http:\/\/www.emn.fr\/z-info\/choco-solver\/.  CHOCO Solver. http:\/\/www.emn.fr\/z-info\/choco-solver\/."},{"key":"e_1_2_1_2_1","unstructured":"Gecode Constraint Development Environment. http:\/\/www.gecode.org\/.  Gecode Constraint Development Environment. http:\/\/www.gecode.org\/."},{"key":"e_1_2_1_3_1","unstructured":"Network Simulator 3. http:\/\/www.nsnam.org\/.  Network Simulator 3. http:\/\/www.nsnam.org\/."},{"key":"e_1_2_1_4_1","unstructured":"ORBIT Wireless Network Testbed. http:\/\/www.orbit-lab.org\/.  ORBIT Wireless Network Testbed. http:\/\/www.orbit-lab.org\/."},{"key":"e_1_2_1_5_1","unstructured":"RapidNet. http:\/\/netdb.cis.upenn.edu\/rapidnet\/.  RapidNet. http:\/\/netdb.cis.upenn.edu\/rapidnet\/."},{"key":"e_1_2_1_6_1","unstructured":"XSB Project. http:\/\/xsb.sourceforge.net\/.  XSB Project. http:\/\/xsb.sourceforge.net\/."},{"key":"e_1_2_1_7_1","first-page":"281","volume-title":"NSDI","author":"Al-Fares M.","year":"2010","unstructured":"M. Al-Fares , S. Radhakrishnan , B. Raghavan , N. Huang , and A. Vahdat . Hedera: Dynamic Flow Scheduling for Data Center Networks . In NSDI , pages 281 -- 296 , 2010 . M. Al-Fares, S. Radhakrishnan, B. Raghavan, N. Huang, and A. Vahdat. Hedera: Dynamic Flow Scheduling for Data Center Networks. In NSDI, pages 281--296, 2010."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/DYSPAN.2005.1542680"},{"key":"e_1_2_1_9_1","first-page":"1","volume-title":"HotCloud","author":"Campbell R.","year":"2009","unstructured":"R. Campbell , I. Gupta , M. Heath , S. Y. Ko , M. Kozuch , M. Kunze , T. Kwan , K. Lai , H. Y. Lee , M. Lyons , D. Milojicic , D. O'Hallaron , and Y. C. Soh . Open Cirrus Cloud Computing Testbed: Federated Data Centers for Open Source Systems and Services Research . In HotCloud , pages 1 -- 5 , 2009 . R. Campbell, I. Gupta, M. Heath, S. Y. Ko, M. Kozuch, M. Kunze, T. Kwan, K. Lai, H. Y. Lee, M. Lyons, D. Milojicic, D. O'Hallaron, and Y. C. Soh. Open Cirrus Cloud Computing Testbed: Federated Data Centers for Open Source Systems and Services Research. In HotCloud, pages 1--5, 2009."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89982-2_69"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592568.1592581"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1023720.1023732"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/938985.938993"},{"key":"e_1_2_1_14_1","first-page":"1","volume-title":"COMSNETS","author":"Liu C.","year":"2012","unstructured":"C. Liu , R. Correa , H. Gill , T. Gill , X. Li , S. Muthukumar , T. Saeed , B. T. Loo , and P. Basu . PUMA: Policy-based Unified Multi-radio Architecture for Agile Mesh Networking (full paper and demonstration) . In COMSNETS , pages 1 -- 10 , 2012 . C. Liu, R. Correa, H. Gill, T. Gill, X. Li, S. Muthukumar, T. Saeed, B. T. Loo, and P. Basu. PUMA: Policy-based Unified Multi-radio Architecture for Agile Mesh Networking (full paper and demonstration). In COMSNETS, pages 1--10, 2012."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2009.5339669"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038916.2038942"},{"key":"e_1_2_1_17_1","first-page":"1","volume-title":"Fernandez. Cloud Resource Orchestration: A Data-Centric Approach. In CIDR","author":"Liu C.","year":"2011","unstructured":"C. Liu , Y. Mao , J. Van der Merwe, and M . Fernandez. Cloud Resource Orchestration: A Data-Centric Approach. In CIDR , pages 1 -- 8 , 2011 . C. Liu, Y. Mao, J. Van der Merwe, and M. Fernandez. Cloud Resource Orchestration: A Data-Centric Approach. In CIDR, pages 1--8, 2011."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142485"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592785"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2009.36"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-008-9108-y"},{"key":"e_1_2_1_22_1","volume-title":"A Survey of Research on Deductive Database Systems. Journal of Logic Programming, 23(2):125--149","author":"Ramakrishnan R.","year":"1993","unstructured":"R. Ramakrishnan and J. D. Ullman . A Survey of Research on Deductive Database Systems. Journal of Logic Programming, 23(2):125--149 , 1993 . R. Ramakrishnan and J. D. Ullman. A Survey of Research on Deductive Database Systems. Journal of Logic Programming, 23(2):125--149, 1993."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/997122.997130"},{"key":"e_1_2_1_24_1","first-page":"381","volume-title":"Automated Policy-based Resource Construction in Utility Computing Environments. In IEEE\/IFIP Network Operations and Management Symposium","author":"Sahai A.","year":"2004","unstructured":"A. Sahai , S. Singhal , V. Machiraju , and R. Joshi . Automated Policy-based Resource Construction in Utility Computing Environments. In IEEE\/IFIP Network Operations and Management Symposium , pages 381 -- 393 , 2004 . A. Sahai, S. Singhal, V. Machiraju, and R. Joshi. Automated Policy-based Resource Construction in Utility Computing Environments. In IEEE\/IFIP Network Operations and Management Symposium, pages 381--393, 2004."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAHCN.2007.4292860"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/LANMAN.2010.5507151"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1078026.1078403"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2008.584"},{"key":"e_1_2_1_29_1","first-page":"1","volume":"10","author":"Yin Q.","year":"2009","unstructured":"Q. Yin , A. Schuepbach , J. Cappos , A. Baumann , and T. Roscoe . Rhizoma: A Runtime for Self-deploying, Self-managing Overlays. In Middleware, pages 10 : 1 -- 10 :20, 2009 . Q. Yin, A. Schuepbach, J. Cappos, A. Baumann, and T. Roscoe. Rhizoma: A Runtime for Self-deploying, Self-managing Overlays. In Middleware, pages 10:1--10:20, 2009.","journal-title":"Rhizoma: A Runtime for Self-deploying, Self-managing Overlays. In Middleware, pages"},{"key":"e_1_2_1_30_1","first-page":"33","volume-title":"NSDI","author":"Zhang Z.","year":"2010","unstructured":"Z. Zhang , M. Zhang , A. Greenberg , Y. C. Hu , R. Mahajan , and B. Christian . Optimizing Cost and Performance in Online Service Provider Networks . In NSDI , pages 33 -- 48 , 2010 . Z. Zhang, M. Zhang, A. Greenberg, Y. C. Hu, R. Mahajan, and B. Christian. Optimizing Cost and Performance in Online Service Provider Networks. In NSDI, pages 33--48, 2010."}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/2212351.2212357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T09:35:12Z","timestamp":1672220112000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/2212351.2212357"}},"subtitle":["a declarative distributed constraint optimization platform"],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":30,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2012,4]]}},"alternative-id":["10.14778\/2212351.2212357"],"URL":"https:\/\/doi.org\/10.14778\/2212351.2212357","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2012,4]]}}}