Declarative Networking (Synthesis Lectures on Data Management)
Boon Thau Loo, Wenchao Zhou
- 出版商: Morgan & Claypool
- 出版日期: 2012-02-14
- 售價: $1,570
- 貴賓價: 9.5 折 $1,492
- 語言: 英文
- 頁數: 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