Synonyms
Declarative overlay networks
Definition
Declarative Networking refers to the technique of specifying aspects of networked systems, such as routing algorithms, in terms of declarative queries over distributed network state. These queries are then executed by a distributed query processor to obtain the same effect as executing an implementation of the algorithm in an imperative language such as C or Java. Executable descriptions of distributed algorithms as queries are typically much more concise than imperative implementations, and more amenable to automated analysis.
Historical Background
Declarative Networking emerged in about 2004 as an application of results in data management and logic programming to problems of network overlay maintenance. Its roots can be traced in several areas: attempts to describe real-world network configurations formally, e.g., [1], network management systems built over a declarative framework, such as IBM Tivoli Console and various research...
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Recommended Reading
Roscoe T, Hand S, Isaacs R, Mortier R, Jardetzky P. Predicate routing: enabling controlled networking. In: Proceedings of the 1st Workshop on Hot Topics in Networks; 2002.
Roscoe T, Mortier R, Jardetzky P, Hand S. InfoSpect: using a logic language for system health monitoring in distributed systems. In: Proceedings of the 10th ACM SIGOPS European Workshop; 2002.
Wawrzoniak M, Peterson L, Roscoe T. Sophia: an information plane for networked systems. In: Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation; 2003.
Chun B, Hellerstein JM, Huebsch R, Jeffery SR, Loo BT, Mardanbeigi S, Roscoe T, Rhea S, Shenker S, Stoica I. Querying at internet scale (demo). In: Proceedings of the ACM SIGMOD International Conference on Management of Data; 2004.
Huebsch R, Chun B, Hellerstein JM, Loo BT, Maniatis P, Roscoe T, Shenker S, Stoica I, Yumerefendi AR. The architecture of PIER: an Internet-scale query processor. In: Proceedings of the 2nd Biennial Conference on Innovative Data Systems Research; 2005.
Loo BT, Huebsch R, Hellerstein JM, Roscoe T, Stoica I. Analyzing P2P overlays with recursive queries. Technical Report IRB-TR-003-045, Intel Research, Nov 2003.
Loo BT, Hellerstein JM, Stoica I, Ramakrishnan R. Declarative routing: extensible routing with declarative queries. In: Proceedings of the Internationl Conference of the on Data Communication; 2005.
Loo BT, Condie T, Hellerstein JM, Maniatis P, Roscoe T, Stoica I. Implementing declarative overlays. In: Proceedings of the 20th ACM Symposium on Operating System Principles; 2005. p. 75–90.
Behnel S, Buchmann A. Overlay networks – implementation by specification. In: Proceedings of the ACM/IFIP/USENIX 6th International Middleware Conference; 2005.
Behnel S. SLOSL – a modelling language for topologies and routing in overlay networks. In: Proceedings of the 1st International Workshop on Modeling, Simulation and Optimization of Peer-to-Peer Environments; 2008.
Singh A, Maniatis P, Roscoe T, Druschel P. Using queries for distributed monitoring and forensics. In: Proceedings of the 1st European Systems Conference; 2006.
Abadi M , Loo BT. Towards a declarative language and system for secure networking. In: Proceedings of the 3rd International Workshop on Networking Meets Databases; 2007.
Chu D, Tavakoli A, Popa L, Hellerstein J. Entirely declarative sensor network systems. In: Proceedings of the 32nd International Conference on Very Large Data Bases; 2006. p. 1203–6.
Loo BT, Condie T, Garofalakis M, Gay DE, Hellerstein JM, Maniatis P, Ramakrishnan R, Roscoe T, Stoica I. Declarative networking: language, execution and optimization. In: Proceedings of the ACM SIGMOD International Conference on Management of Data; 2006. p. 97–108.
Singh A, Maniatis P, Druschel P, Roscoe T. BFT protocols under fire. In: Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation; 2008.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2018 Springer Science+Business Media, LLC, part of Springer Nature
About this entry
Cite this entry
Roscoe, T., Loo, B.T. (2018). Declarative Networking. In: Liu, L., Özsu, M.T. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-8265-9_1220
Download citation
DOI: https://doi.org/10.1007/978-1-4614-8265-9_1220
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-8266-6
Online ISBN: 978-1-4614-8265-9
eBook Packages: Computer ScienceReference Module Computer Science and Engineering