{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T15:26:22Z","timestamp":1784733982592,"version":"3.55.0"},"reference-count":83,"publisher":"Association for Computing Machinery (ACM)","issue":"10","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2023,6]]},"abstract":"<jats:p>Cluster managers play a crucial role in data centers by distributing workloads among infrastructure resources. Declarative Cluster Management (DCM) is a new cluster management architecture that enables users to express placement policies declaratively using SQL-like queries. This paper presents our experiences in scaling this architecture from moderate-sized enterprise clusters (10<jats:sup>2<\/jats:sup>- 10<jats:sup>3<\/jats:sup>nodes) to hyperscale clusters (10<jats:sup>4<\/jats:sup>nodes) via query optimization techniques. First, we formally specify the syntax and semantics of DCM's declarative language, C-SQL, a SQL variant used to express constraint optimization problems. We showcase how constraints on the desired state of the cluster system can be succinctly represented as C-SQL programs, and how query optimization techniques like incremental view maintenance and predicate pushdown can enhance the execution of C-SQL programs. We evaluate the effectiveness of our optimizations through a case study of building Kubernetes schedulers using C-SQL. Our optimizations demonstrated an almost 3000\u00d7 speed up in database latency and reduced the size of optimization problems by as much as 1\/300 of the original, without affecting the quality of the scheduling solutions.<\/jats:p>","DOI":"10.14778\/3603581.3603599","type":"journal-article","created":{"date-parts":[[2023,8,8]],"date-time":"2023-08-08T19:06:48Z","timestamp":1691521608000},"page":"2618-2631","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Scaling a Declarative Cluster Manager Architecture with Query Optimization Techniques"],"prefix":"10.14778","volume":"16","author":[{"given":"Kexin","family":"Rong","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology, VMware Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mihai","family":"Budiu","sequence":"additional","affiliation":[{"name":"Feldera"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Athinagoras","family":"Skiadopoulos","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lalith","family":"Suresh","sequence":"additional","affiliation":[{"name":"Feldera"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amy","family":"Tai","sequence":"additional","affiliation":[{"name":"Google"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,8,8]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"DBToaster SQL Reference. https:\/\/dbtoaster.github.io\/docs_sql.html. Last accessed","year":"2023","unstructured":"[n.d.]. DBToaster SQL Reference. https:\/\/dbtoaster.github.io\/docs_sql.html. Last accessed : June 2023 . [n.d.]. DBToaster SQL Reference. https:\/\/dbtoaster.github.io\/docs_sql.html. Last accessed: June 2023."},{"key":"e_1_2_1_2_1","volume-title":"https:\/\/www.openstack.org\/. Last accessed","year":"2023","unstructured":"[n.d.]. OpenStack. https:\/\/www.openstack.org\/. Last accessed : June 2023 . [n.d.]. OpenStack. https:\/\/www.openstack.org\/. Last accessed: June 2023."},{"key":"e_1_2_1_3_1","volume-title":"Red Hat OpenShift. https:\/\/www.redhat.com\/en\/technologies\/cloud-computing\/openshift. Last accessed","year":"2023","unstructured":"[n.d.]. Red Hat OpenShift. https:\/\/www.redhat.com\/en\/technologies\/cloud-computing\/openshift. Last accessed : June 2023 . [n.d.]. Red Hat OpenShift. https:\/\/www.redhat.com\/en\/technologies\/cloud-computing\/openshift. Last accessed: June 2023."},{"key":"e_1_2_1_4_1","volume-title":"https:\/\/github.com\/h2database\/h2database\/. Last accessed","year":"2023","unstructured":"2007. H2 Database. https:\/\/github.com\/h2database\/h2database\/. Last accessed : June 2023 . 2007. H2 Database. https:\/\/github.com\/h2database\/h2database\/. Last accessed: June 2023."},{"key":"e_1_2_1_5_1","volume-title":"https:\/\/developers.google.com\/optimization\/. Last accessed","author":"Tools Google","year":"2023","unstructured":"2010. Google OR- Tools . https:\/\/developers.google.com\/optimization\/. Last accessed : February 2023 . 2010. Google OR-Tools. https:\/\/developers.google.com\/optimization\/. Last accessed: February 2023."},{"key":"e_1_2_1_6_1","volume-title":"Google OR-Tools Documentation. https:\/\/github.com\/google\/or-tools\/blob\/stable\/ortools\/sat\/docs\/README.md. Last accessed","year":"2023","unstructured":"2010. Google OR-Tools Documentation. https:\/\/github.com\/google\/or-tools\/blob\/stable\/ortools\/sat\/docs\/README.md. Last accessed : April 2023 . 2010. Google OR-Tools Documentation. https:\/\/github.com\/google\/or-tools\/blob\/stable\/ortools\/sat\/docs\/README.md. Last accessed: April 2023."},{"key":"e_1_2_1_7_1","volume-title":"https:\/\/github.com\/jOOQ\/jOOQ. Last accessed","author":"JOOQ.","year":"2023","unstructured":"2011. JOOQ. https:\/\/github.com\/jOOQ\/jOOQ. Last accessed : June 2023 . 2011. JOOQ. https:\/\/github.com\/jOOQ\/jOOQ. Last accessed: June 2023."},{"key":"e_1_2_1_8_1","volume-title":"http:\/\/github.com\/kubernetes\/kubernetes. Last accessed","author":"Github Kubernetes","year":"2023","unstructured":"2014. Kubernetes (K8s) Github . http:\/\/github.com\/kubernetes\/kubernetes. Last accessed : June 2023 . 2014. Kubernetes (K8s) Github. http:\/\/github.com\/kubernetes\/kubernetes. Last accessed: June 2023."},{"key":"e_1_2_1_9_1","volume-title":"https:\/\/github.com\/TimelyDataflow\/differential-dataflow. Last accessed","author":"Dataflow Differential","year":"2023","unstructured":"2015. Differential Dataflow . https:\/\/github.com\/TimelyDataflow\/differential-dataflow. Last accessed : June 2023 . 2015. Differential Dataflow. https:\/\/github.com\/TimelyDataflow\/differential-dataflow. Last accessed: June 2023."},{"key":"e_1_2_1_10_1","volume-title":"github.com\/vmware\/differential-datalog. Last accessed","author":"Datalog Differential","year":"2023","unstructured":"2021. Differential Datalog . github.com\/vmware\/differential-datalog. Last accessed : June 2023 . 2021. Differential Datalog. github.com\/vmware\/differential-datalog. Last accessed: June 2023."},{"key":"e_1_2_1_11_1","volume-title":"https:\/\/prestodb.io\/. Last accessed","author":"DB.","year":"2022","unstructured":"2021. Preso DB. https:\/\/prestodb.io\/. Last accessed : August 2022 . 2021. PresoDB. https:\/\/prestodb.io\/. Last accessed: August 2022."},{"key":"e_1_2_1_12_1","volume-title":"DDlog's SQL frontend and SQL-to-DDlog compiler. https:\/\/github.com\/vmware\/differential-datalog\/tree\/master\/sql. Last accessed","year":"2022","unstructured":"2022. DDlog's SQL frontend and SQL-to-DDlog compiler. https:\/\/github.com\/vmware\/differential-datalog\/tree\/master\/sql. Last accessed : November 2022 . 2022. DDlog's SQL frontend and SQL-to-DDlog compiler. https:\/\/github.com\/vmware\/differential-datalog\/tree\/master\/sql. Last accessed: November 2022."},{"key":"e_1_2_1_13_1","volume-title":"https:\/\/kubernetes.io\/docs\/concepts\/scheduling-eviction\/kube-scheduler\/. Last accessed","year":"2023","unstructured":"2022. Kubernetes. https:\/\/kubernetes.io\/docs\/concepts\/scheduling-eviction\/kube-scheduler\/. Last accessed : June 2023 . 2022. Kubernetes. https:\/\/kubernetes.io\/docs\/concepts\/scheduling-eviction\/kube-scheduler\/. Last accessed: June 2023."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755937"},{"key":"e_1_2_1_15_1","volume-title":"https:\/\/calcite.apache.org\/. Last accessed","author":"Calcite Apache","year":"2023","unstructured":"Apache. 2014. Apache Calcite . https:\/\/calcite.apache.org\/. Last accessed : Feb 2023 . Apache. 2014. Apache Calcite. https:\/\/calcite.apache.org\/. Last accessed: Feb 2023."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232223"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/320248.320249"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/233269.233364"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2012.6195833"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1808.06893"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009805532638"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190549"},{"key":"e_1_2_1_23_1","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Gog Ionel","year":"2016","unstructured":"Ionel Gog , Malte Schwarzkopf , Adam Gleave , Robert N. M. Watson , and Steven Hand . 2016 . Firmament: Fast, Centralized Cluster Scheduling at Scale . In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) . USENIX Association, Savannah, GA, 99--115. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/gog Ionel Gog, Malte Schwarzkopf, Adam Gleave, Robert N. M. Watson, and Steven Hand. 2016. Firmament: Fast, Centralized Cluster Scheduling at Scale. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). USENIX Association, Savannah, GA, 99--115. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/gog"},{"key":"e_1_2_1_24_1","first-page":"19","article-title":"The cascades framework for query optimization","volume":"18","author":"Graefe Goetz","year":"1995","unstructured":"Goetz Graefe . 1995 . The cascades framework for query optimization . IEEE Data Eng. Bull. 18 , 3 (1995), 19 -- 29 . Goetz Graefe. 1995. The cascades framework for query optimization. IEEE Data Eng. Bull. 18, 3 (1995), 19--29.","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626334"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/3026877.3026884"},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation","author":"Grandl Robert","year":"2016","unstructured":"Robert Grandl , Srikanth Kandula , Sriram Rao , Aditya Akella , and Janardhan Kulkarni . 2016 . Graphene: Packing and Dependency-Aware Scheduling for Data-Parallel Clusters . In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation ( Savannah, GA, USA) (OSDI'16). USENIX Association, USA, 81--97. Robert Grandl, Srikanth Kandula, Sriram Rao, Aditya Akella, and Janardhan Kulkarni. 2016. Graphene: Packing and Dependency-Aware Scheduling for Data-Parallel Clusters. In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (Savannah, GA, USA) (OSDI'16). USENIX Association, USA, 81--97."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/223784.223849"},{"key":"e_1_2_1_29_1","first-page":"45","article-title":"VMware distributed resource management: design, implementation, and lessons learned","volume":"1","author":"Gulati Ajay","year":"2012","unstructured":"Ajay Gulati and Xiaoyun Zhu . 2012 . VMware distributed resource management: design, implementation, and lessons learned . VMware Technical Journal 1 , 1 (2012), 45 -- 64 . Ajay Gulati and Xiaoyun Zhu. 2012. VMware distributed resource management: design, implementation, and lessons learned. VMware Technical Journal 1, 1 (2012), 45--64.","journal-title":"VMware Technical Journal"},{"key":"e_1_2_1_30_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08)","author":"Gunawi Haryadi S.","unstructured":"Haryadi S. Gunawi , Abhishek Rajimwale , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2008. SQCK: A declarative file system checker . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08) . 131--146. Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2008. SQCK: A declarative file system checker. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08). 131--146."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/170035.170066"},{"key":"e_1_2_1_32_1","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Hadary Ori","year":"2020","unstructured":"Ori Hadary , Luke Marshall , Ishai Menache , Abhisek Pan , Esaias E Greeff , David Dion , Star Dorminey , Shailesh Joshi , Yang Chen , Mark Russinovich , and Thomas Moscibroda . 2020 . Protean: VM Allocation Service at Scale . In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) . USENIX Association, 845--861. https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/hadary Ori Hadary, Luke Marshall, Ishai Menache, Abhisek Pan, Esaias E Greeff, David Dion, Star Dorminey, Shailesh Joshi, Yang Chen, Mark Russinovich, and Thomas Moscibroda. 2020. Protean: VM Allocation Service at Scale. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). USENIX Association, 845--861. https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/hadary"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/170035.170078"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508293.1508300"},{"key":"e_1_2_1_35_1","volume-title":"Opening the Black Boxes in Data Flow Optimization. PVLDB 5, 11","author":"Hueske Fabian","year":"2012","unstructured":"Fabian Hueske , Mathias Peters , Matthias J Sax , Astrid Rheinl\u00e4nder , Rico Bergmann , Aljoscha Krettek , and Kostas Tzoumas . 2012. Opening the Black Boxes in Data Flow Optimization. PVLDB 5, 11 ( 2012 ). Fabian Hueske, Mathias Peters, Matthias J Sax, Astrid Rheinl\u00e4nder, Rico Bergmann, Aljoscha Krettek, and Kostas Tzoumas. 2012. Opening the Black Boxes in Data Flow Optimization. PVLDB 5, 11 (2012)."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-019-00590-9"},{"key":"e_1_2_1_37_1","volume-title":"ACM Symposium on Operating systems principles (SOSP). ACM, 261--276","author":"Isard Michael","year":"2009","unstructured":"Michael Isard , Vijayan Prabhakaran , Jon Currey , Udi Wieder , Kunal Talwar , and Andrew Goldberg . 2009 . Quincy: Fair scheduling for distributed computing clusters . In ACM Symposium on Operating systems principles (SOSP). ACM, 261--276 . Michael Isard, Vijayan Prabhakaran, Jon Currey, Udi Wieder, Kunal Talwar, and Andrew Goldberg. 2009. Quincy: Fair scheduling for distributed computing clusters. In ACM Symposium on Operating systems principles (SOSP). ACM, 261--276."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/298514.298582"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1995.1051"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.14778\/3137628.3137664"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-013-0348-4"},{"key":"e_1_2_1_42_1","volume-title":"Add a new predicate: max replicas limit per node. https:\/\/github.com\/kubernetes\/kubernetes\/pull\/71930. Last accessed","year":"2023","unstructured":"Kubernetes. 2018. Add a new predicate: max replicas limit per node. https:\/\/github.com\/kubernetes\/kubernetes\/pull\/71930. Last accessed : Feb 2023 . Kubernetes. 2018. Add a new predicate: max replicas limit per node. https:\/\/github.com\/kubernetes\/kubernetes\/pull\/71930. Last accessed: Feb 2023."},{"key":"e_1_2_1_43_1","volume-title":"Add max number of replicas per node\/topology key to pod anti-affinity. https:\/\/github.com\/kubernetes\/kubernetes\/issues\/40358. Last accessed","year":"2023","unstructured":"Kubernetes. 2018. Add max number of replicas per node\/topology key to pod anti-affinity. https:\/\/github.com\/kubernetes\/kubernetes\/issues\/40358. Last accessed : Feb 2023 . Kubernetes. 2018. Add max number of replicas per node\/topology key to pod anti-affinity. https:\/\/github.com\/kubernetes\/kubernetes\/issues\/40358. Last accessed: Feb 2023."},{"key":"e_1_2_1_44_1","volume-title":"https:\/\/github.com\/kubernetes\/kubernetes\/pull\/67788. Last accessed","author":"Pod Being Anti-Affinity","year":"2023","unstructured":"Kubernetes. 2018. Affinity\/ Anti-Affinity Optimization of Pod Being Scheduled #67788. https:\/\/github.com\/kubernetes\/kubernetes\/pull\/67788. Last accessed : Feb 2023 . Kubernetes. 2018. Affinity\/Anti-Affinity Optimization of Pod Being Scheduled #67788. https:\/\/github.com\/kubernetes\/kubernetes\/pull\/67788. Last accessed: Feb 2023."},{"key":"e_1_2_1_45_1","volume-title":"https:\/\/github.com\/kubernetes\/kubernetes\/issues\/66533. Last accessed","author":"Allow Minimum","year":"2019","unstructured":"Kubernetes. 2018. Allow Minimum (or Maximum) Pods per failure zone. https:\/\/github.com\/kubernetes\/kubernetes\/issues\/66533. Last accessed : Jan 2019 . Kubernetes. 2018. Allow Minimum (or Maximum) Pods per failure zone. https:\/\/github.com\/kubernetes\/kubernetes\/issues\/66533. Last accessed: Jan 2019."},{"key":"e_1_2_1_46_1","volume-title":"Assign Pods to Nodes using Node Affinity. https:\/\/kubernetes.io\/docs\/tasks\/configure-pod-container\/assign-pods-nodes-using-node-affinity\/. Last accessed","year":"2023","unstructured":"Kubernetes. 2018. Assign Pods to Nodes using Node Affinity. https:\/\/kubernetes.io\/docs\/tasks\/configure-pod-container\/assign-pods-nodes-using-node-affinity\/. Last accessed : Feb 2023 . Kubernetes. 2018. Assign Pods to Nodes using Node Affinity. https:\/\/kubernetes.io\/docs\/tasks\/configure-pod-container\/assign-pods-nodes-using-node-affinity\/. Last accessed: Feb 2023."},{"key":"e_1_2_1_47_1","volume-title":"Maximum of N per topology value. https:\/\/github.com\/kubernetes\/kubernetes\/pull\/41718. Last accessed","year":"2023","unstructured":"Kubernetes. 2018. Maximum of N per topology value. https:\/\/github.com\/kubernetes\/kubernetes\/pull\/41718. Last accessed : Feb 2023 . Kubernetes. 2018. Maximum of N per topology value. https:\/\/github.com\/kubernetes\/kubernetes\/pull\/41718. Last accessed: Feb 2023."},{"key":"e_1_2_1_48_1","volume-title":"MaxPodsPerNode - be able to set hard and soft limits for deployments \/ replicasets. https:\/\/github.com\/kubernetes\/kubernetes\/issues\/63560. Last accessed","year":"2023","unstructured":"Kubernetes. 2018. MaxPodsPerNode - be able to set hard and soft limits for deployments \/ replicasets. https:\/\/github.com\/kubernetes\/kubernetes\/issues\/63560. Last accessed : Feb 2023 . Kubernetes. 2018. MaxPodsPerNode - be able to set hard and soft limits for deployments \/ replicasets. https:\/\/github.com\/kubernetes\/kubernetes\/issues\/63560. Last accessed: Feb 2023."},{"key":"e_1_2_1_49_1","volume-title":"Pod priorities and preemption. https:\/\/kubernetes.io\/docs\/concepts\/scheduling-eviction\/pod-priority-preemption\/. Last accessed","year":"2023","unstructured":"Kubernetes. 2018. Pod priorities and preemption. https:\/\/kubernetes.io\/docs\/concepts\/scheduling-eviction\/pod-priority-preemption\/. Last accessed : June 2023 . Kubernetes. 2018. Pod priorities and preemption. https:\/\/kubernetes.io\/docs\/concepts\/scheduling-eviction\/pod-priority-preemption\/. Last accessed: June 2023."},{"key":"e_1_2_1_50_1","volume-title":"https:\/\/kubernetes.io\/docs\/concepts\/scheduling-eviction\/taint-and-toleration\/. Last accessed","author":"Tolerations Taints","year":"2023","unstructured":"Kubernetes. 2018. Taints and Tolerations . https:\/\/kubernetes.io\/docs\/concepts\/scheduling-eviction\/taint-and-toleration\/. Last accessed : Feb 2023 . Kubernetes. 2018. Taints and Tolerations. https:\/\/kubernetes.io\/docs\/concepts\/scheduling-eviction\/taint-and-toleration\/. Last accessed: Feb 2023."},{"key":"e_1_2_1_51_1","volume-title":"Let's remove ServiceAffinity. https:\/\/groups.google.com\/forum\/#!topic\/kubernetes-sig-scheduling\/ewz4TYJgL0M. Last accessed","author":"Kubernetes","year":"2023","unstructured":"Kubernetes mailing list. 2018. Let's remove ServiceAffinity. https:\/\/groups.google.com\/forum\/#!topic\/kubernetes-sig-scheduling\/ewz4TYJgL0M. Last accessed : Feb 2023 . Kubernetes mailing list. 2018. Let's remove ServiceAffinity. https:\/\/groups.google.com\/forum\/#!topic\/kubernetes-sig-scheduling\/ewz4TYJgL0M. Last accessed: Feb 2023."},{"key":"e_1_2_1_52_1","volume-title":"Constraint databases","author":"Kuper Gabriel","unstructured":"Gabriel Kuper , Leonid Libkin , and Jan Paredaens . 2013. Constraint databases . Springer Science & Business Media . Gabriel Kuper, Leonid Libkin, and Jan Paredaens. 2013. Constraint databases. Springer Science & Business Media."},{"key":"e_1_2_1_53_1","volume-title":"Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles (SOSP '21)","author":"Lee Sangmin","year":"2021","unstructured":"Sangmin Lee , Zhenhua Guo , Omer Sunercan , Jun Ying , Thawan Kooburat , Suryadeep Biswal , Jun Chen , Kun Huang , Yatpang Cheung , Yiding Zhou , 2021 . Shard Manager: A Generic Shard Management Framework for Geo-Distributed Applications . In Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles (SOSP '21) . 553--569. Sangmin Lee, Zhenhua Guo, Omer Sunercan, Jun Ying, Thawan Kooburat, Suryadeep Biswal, Jun Chen, Kun Huang, Yatpang Cheung, Yiding Zhou, et al. 2021. Shard Manager: A Generic Shard Management Framework for Geo-Distributed Applications. In Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles (SOSP '21). 553--569."},{"key":"e_1_2_1_54_1","volume-title":"Inderpal Singh Mumick, and Yehoshua Sagiv","author":"Levy Alon Y","year":"1994","unstructured":"Alon Y Levy , Inderpal Singh Mumick, and Yehoshua Sagiv . 1994 . Query optimization by predicate move-around. In VLDB. 96--107. Alon Y Levy, Inderpal Singh Mumick, and Yehoshua Sagiv. 1994. Query optimization by predicate move-around. In VLDB. 96--107."},{"key":"e_1_2_1_55_1","volume-title":"https:\/\/kubernetes.io\/docs\/tasks\/administer-cluster\/topology-manager\/#known-limitations. Last accessed","author":"Manager Limitations Kubernetes Topology","year":"2023","unstructured":"Kubernetes Topology Manager Limitations . [n.d.]. https:\/\/kubernetes.io\/docs\/tasks\/administer-cluster\/topology-manager\/#known-limitations. Last accessed : June 2023 . Kubernetes Topology Manager Limitations. [n.d.]. https:\/\/kubernetes.io\/docs\/tasks\/administer-cluster\/topology-manager\/#known-limitations. Last accessed: June 2023."},{"key":"e_1_2_1_56_1","volume-title":"Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP '05)","author":"Loo Boon Thau","year":"2005","unstructured":"Boon Thau Loo , Tyson Condie , Joseph M. Hellerstein , Petros Maniatis , Timothy Roscoe , and Ion Stoica . 2005 . Implementing Declarative Overlays . In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP '05) . 75--90. Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, and Ion Stoica. 2005. Implementing Declarative Overlays. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP '05). 75--90."},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3183751"},{"key":"e_1_2_1_58_1","volume-title":"Rebecca Isaacs, and Michael Isard.","author":"McSherry Frank","year":"2013","unstructured":"Frank McSherry , Derek Gordon Murray , Rebecca Isaacs, and Michael Isard. 2013 . Differential Dataflow. In CIDR. Frank McSherry, Derek Gordon Murray, Rebecca Isaacs, and Michael Isard. 2013. Differential Dataflow. In CIDR."},{"key":"e_1_2_1_59_1","volume-title":"Azure Public Dataset. https:\/\/github.com\/Azure\/AzurePublicDataset. Last accessed","year":"2023","unstructured":"Microsoft. 2017. Azure Public Dataset. https:\/\/github.com\/Azure\/AzurePublicDataset. Last accessed : June 2023 . Microsoft. 2017. Azure Public Dataset. https:\/\/github.com\/Azure\/AzurePublicDataset. Last accessed: June 2023."},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/375663.375703"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/191839.191860"},{"key":"e_1_2_1_62_1","volume-title":"RFC 7047: The Open vSwitch Database Management Protocol. https:\/\/datatracker.ietf.org\/doc\/html\/rfc7047. Last accessed","author":"Pfaff Ben","year":"2023","unstructured":"Ben Pfaff and Bruce Davie . 2013. RFC 7047: The Open vSwitch Database Management Protocol. https:\/\/datatracker.ietf.org\/doc\/html\/rfc7047. Last accessed : June 2023 . Ben Pfaff and Bruce Davie. 2013. RFC 7047: The Open vSwitch Database Management Protocol. https:\/\/datatracker.ietf.org\/doc\/html\/rfc7047. Last accessed: June 2023."},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2391229.2391244"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(02)00041-8"},{"key":"e_1_2_1_65_1","doi-asserted-by":"crossref","unstructured":"Kexin Rong Mihai Budiu Athinagoras Skiadopoulos Lalith Suresh and Amy Tai. 2022. Scaling a Declarative Cluster Manager Architecture with Query Optimization Techniques (Technical Report). https:\/\/github.com\/vmware\/declarative-cluster-management\/blob\/vldb23\/docs\/tr.pdf. Kexin Rong Mihai Budiu Athinagoras Skiadopoulos Lalith Suresh and Amy Tai. 2022. Scaling a Declarative Cluster Manager Architecture with Query Optimization Techniques (Technical Report). https:\/\/github.com\/vmware\/declarative-cluster-management\/blob\/vldb23\/docs\/tr.pdf.","DOI":"10.14778\/3603581.3603599"},{"key":"e_1_2_1_66_1","volume-title":"Peter Van Beek, and Toby Walsh","author":"Rossi Francesca","year":"2006","unstructured":"Francesca Rossi , Peter Van Beek, and Toby Walsh . 2006 . Handbook of constraint programming. Elsevier . Francesca Rossi, Peter Van Beek, and Toby Walsh. 2006. Handbook of constraint programming. Elsevier."},{"key":"e_1_2_1_67_1","volume-title":"Datalog 2.0.","author":"Ryzhyk Leonid","unstructured":"Leonid Ryzhyk and Mihai Budiu . 2019. Differential Datalog . In Datalog 2.0. Philadelphia, PA . http:\/\/budiu.info\/work\/ddlog.pdf Leonid Ryzhyk and Mihai Budiu. 2019. Differential Datalog. In Datalog 2.0. Philadelphia, PA. http:\/\/budiu.info\/work\/ddlog.pdf"},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/233269.233360"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.14778\/3485450.3485454"},{"key":"e_1_2_1_70_1","volume-title":"Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. 250--258","author":"Srivastava Utkarsh","year":"2005","unstructured":"Utkarsh Srivastava , Kamesh Munagala , and Jennifer Widom . 2005 . Operator placement for in-network stream query processing . In Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. 250--258 . Utkarsh Srivastava, Kamesh Munagala, and Jennifer Widom. 2005. Operator placement for in-network stream query processing. In Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. 250--258."},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563766.3564101"},{"key":"e_1_2_1_72_1","volume-title":"Building Scalable and Flexible Cluster Managers Using Declarative Programming. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Suresh Lalith","year":"2020","unstructured":"Lalith Suresh , Jo\u00e3o Loff , Faria Kalim , Sangeetha Abdu Jyothi , Nina Narodytska , Leonid Ryzhyk , Sahan Gamage , Brian Oki , Pranshu Jain , and Michael Gasch . 2020 . Building Scalable and Flexible Cluster Managers Using Declarative Programming. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) . 827--844. Lalith Suresh, Jo\u00e3o Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, and Michael Gasch. 2020. Building Scalable and Flexible Cluster Managers Using Declarative Programming. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). 827--844."},{"key":"e_1_2_1_73_1","volume-title":"Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation (OSDI'20)","author":"Tang Chunqiang","year":"2020","unstructured":"Chunqiang Tang , Kenny Yu , Kaushik Veeraraghavan , Jonathan Kaldor , Scott Michelson , Thawan Kooburat , Aravind Anbudurai , Matthew Clark , 2020 . Twine: A Unified Cluster Management System for Shared Infrastructure . In Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation (OSDI'20) . 787--803. Chunqiang Tang, Kenny Yu, Kaushik Veeraraghavan, Jonathan Kaldor, Scott Michelson, Thawan Kooburat, Aravind Anbudurai, Matthew Clark, et al. 2020. Twine: A Unified Cluster Management System for Shared Infrastructure. In Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation (OSDI'20). 787--803."},{"key":"e_1_2_1_74_1","volume-title":"Proceedings of the 15th European Conference on Computer Systems (EuroSys '20)","author":"Tirmazi Muhammad","year":"2020","unstructured":"Muhammad Tirmazi , Adam Barker , Nan Deng , Md E. Haque , Zhijing Gene Qin , Steven Hand , Mor Harchol-Balter , and John Wilkes . 2020 . Borg: The next Generation . In Proceedings of the 15th European Conference on Computer Systems (EuroSys '20) . Article 30, 14 pages. Muhammad Tirmazi, Adam Barker, Nan Deng, Md E. Haque, Zhijing Gene Qin, Steven Hand, Mor Harchol-Balter, and John Wilkes. 2020. Borg: The next Generation. In Proceedings of the 15th European Conference on Computer Systems (EuroSys '20). Article 30, 14 pages."},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(97)10008-5"},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/2391229.2391254"},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901318.2901355"},{"key":"e_1_2_1_78_1","volume-title":"Principles of Database and Knowledge-Base Systems","author":"Ullman Jeffrey D.","unstructured":"Jeffrey D. Ullman . 1989. Principles of Database and Knowledge-Base Systems , Volume II. Computer Science Press . Jeffrey D. Ullman. 1989. Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press."},{"key":"e_1_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741964"},{"key":"e_1_2_1_80_1","volume-title":"Proceedings of the 2017 ACM International Conference on Management of Data. 1243--1258","author":"Walenz Brett","year":"2017","unstructured":"Brett Walenz , Sudeepa Roy , and Jun Yang . 2017 . Optimizing iceberg queries with complex joins . In Proceedings of the 2017 ACM International Conference on Management of Data. 1243--1258 . Brett Walenz, Sudeepa Roy, and Jun Yang. 2017. Optimizing iceberg queries with complex joins. In Proceedings of the 2017 ACM International Conference on Management of Data. 1243--1258."},{"key":"e_1_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/2890955.2890970"},{"key":"e_1_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.5555\/1325851.1325881"},{"key":"e_1_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/223784.223848"}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/3603581.3603599","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,18]],"date-time":"2023-12-18T18:18:30Z","timestamp":1702923510000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/3603581.3603599"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6]]},"references-count":83,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2023,6]]}},"alternative-id":["10.14778\/3603581.3603599"],"URL":"https:\/\/doi.org\/10.14778\/3603581.3603599","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2023,6]]},"assertion":[{"value":"2023-08-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}