Declarative Networking (Record no. 84617)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 04283nam a22005055i 4500 |
001 - CONTROL NUMBER | |
control field | 978-3-031-01886-2 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240730163440.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 220601s2012 sz | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783031018862 |
-- | 978-3-031-01886-2 |
082 04 - CLASSIFICATION NUMBER | |
Call Number | 004.6 |
100 1# - AUTHOR NAME | |
Author | Loo, Boon Thau. |
245 10 - TITLE STATEMENT | |
Title | Declarative Networking |
250 ## - EDITION STATEMENT | |
Edition statement | 1st ed. 2012. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | XVII, 111 p. |
490 1# - SERIES STATEMENT | |
Series statement | Synthesis Lectures on Data Management, |
505 0# - FORMATTED CONTENTS NOTE | |
Remark 2 | Introduction -- Declarative Networking Language -- Declarative Networking Overview -- Distributed Recursive Query Processing -- Declarative Routing -- Declarative Overlays -- Optimization of NDlog -- Recent Advances in Declarative Networking -- Conclusion. |
520 ## - SUMMARY, ETC. | |
Summary, etc | Declarative Networking is a programming methodology that enables developers to concisely specify network protocols and services, which are directly compiled to a dataflow framework that executes the specifications. Declarative networking proposes the use of a declarative query language for specifying and implementing network protocols, and employs a dataflow framework at runtime for communication and maintenance of network state. The primary goal of declarative networking is to greatly simplify the process of specifying, implementing, deploying and evolving a network design. In addition, declarative networking serves as an important step towards an extensible, evolvable network architecture that can support flexible, secure and efficient deployment of new network protocols. 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. |
700 1# - AUTHOR 2 | |
Author 2 | Zhou, Wenchao. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | https://doi.org/10.1007/978-3-031-01886-2 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | eBooks |
264 #1 - | |
-- | Cham : |
-- | Springer International Publishing : |
-- | Imprint: Springer, |
-- | 2012. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computer networks . |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Data structures (Computer science). |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Information theory. |
650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computer Communication Networks. |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Data Structures and Information Theory. |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 2153-5426 |
912 ## - | |
-- | ZDB-2-SXSC |
No items available.