Declarative Networking (Synthesis Lectures on Data Management)
暫譯: 聲明式網路(數據管理綜合講座)
Boon Thau Loo, Wenchao Zhou
- 出版商: Morgan & Claypool
- 出版日期: 2012-02-14
- 售價: $1,620
- 貴賓價: 9.5 折 $1,539
- 語言: 英文
- 頁數: 130
- 裝訂: Paperback
- ISBN: 1608456013
- ISBN-13: 9781608456017
海外代購書籍(需單獨結帳)
商品描述
This book provides an introduction to basic issues in declarative networking, including language design, optimization and dataflow execution. The methodology behind declarative programming of networks is presented, including roots in Datalog, extensions for networked environments, and the semantics of long-running queries over network state. The book focuses on a representative declarative networking language called Network Datalog (NDlog), which is based on extensions to the Datalog recursive query language. An overview of declarative network protocols written in NDlog is provided, and its usage is illustrated using examples from routing protocols and overlay networks.
This book also describes the implementation of a declarative networking engine and NDlog execution strategies that provide eventual consistency semantics with significant flexibility in execution. Two representative declarative networking systems (P2 and its successor RapidNet) are presented. Finally, the book highlights recent advances in declarative networking, and new declarative approaches to related problems.
Table of Contents: Introduction / Declarative Networking Language / Declarative Networking Overview / Distributed Recursive Query Processing / Declarative Routing / Declarative Overlays / Optimization of NDlog / Recent Advances in Declarative Networking / Conclusion
商品描述(中文翻譯)
宣告式網路(Declarative Networking)是一種程式設計方法論,使開發者能夠簡潔地指定網路協定和服務,這些協定和服務會直接編譯成執行這些規範的資料流框架。宣告式網路提議使用宣告式查詢語言來指定和實現網路協定,並在執行時使用資料流框架來進行通訊和維護網路狀態。宣告式網路的主要目標是大幅簡化指定、實現、部署和演進網路設計的過程。此外,宣告式網路是邁向可擴展、可演進的網路架構的重要一步,該架構能夠支持新網路協定的靈活、安全和高效部署。
本書介紹了宣告式網路中的基本問題,包括語言設計、優化和資料流執行。書中呈現了網路的宣告式程式設計方法論,包括源自 Datalog 的根源、針對網路環境的擴展,以及針對網路狀態的長期查詢語義。書中重點介紹了一種名為 Network Datalog (NDlog) 的代表性宣告式網路語言,該語言基於對 Datalog 遞迴查詢語言的擴展。書中提供了用 NDlog 編寫的宣告式網路協定的概述,並通過路由協定和覆蓋網路的範例來說明其用法。
本書還描述了一個宣告式網路引擎的實現及 NDlog 執行策略,這些策略提供了最終一致性語義並在執行上具有顯著的靈活性。書中介紹了兩個代表性的宣告式網路系統(P2 及其後繼 RapidNet)。最後,本書強調了宣告式網路的最新進展,以及針對相關問題的新宣告式方法。
目錄:
引言 / 宣告式網路語言 / 宣告式網路概述 / 分散式遞迴查詢處理 / 宣告式路由 / 宣告式覆蓋 / NDlog 的優化 / 宣告式網路的最新進展 / 結論