Encyclopedia of Database Systems

2018 Edition
| Editors: Ling Liu, M. Tamer Özsu

Declarative Networking

  • Timothy RoscoeEmail author
  • Boon Thau Loo
Reference work entry
DOI: https://doi.org/10.1007/978-1-4614-8265-9_1220


Declarative overlay networks


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 to check access.

Recommended Reading

  1. 1.
    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.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    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.Google Scholar
  9. 9.
    Behnel S, Buchmann A. Overlay networks – implementation by specification. In: Proceedings of the ACM/IFIP/USENIX 6th International Middleware Conference; 2005.CrossRefGoogle Scholar
  10. 10.
    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.Google Scholar
  11. 11.
    Singh A, Maniatis P, Roscoe T, Druschel P. Using queries for distributed monitoring and forensics. In: Proceedings of the 1st European Systems Conference; 2006.Google Scholar
  12. 12.
    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.Google Scholar
  13. 13.
    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.Google Scholar
  14. 14.
    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.Google Scholar
  15. 15.
    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.Google Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.ETH ZurichZurichSwitzerland

Section editors and affiliations

  • Karl Aberer
    • 1
  1. 1.Distributed Inf. Sys Lab.Inst. for Core Computing Science (IIF), EPFL-IC-IIF-LSIRLausanneSwitzerland