000			04134nam a22004335i 4500
999			_c386838 _d386838
001			386838
003			ES-MaUEC
005			20230124182901.0
006			a||||fo|||| 00| 0
007			cr nn 008mamaa
008			220601s2012 sz | s |||| 0|eng d
020			_a9783031018862
024	7		_a10.1007/978-3-031-01886-2 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA76.615 _b2012 EB
100	1		_aLoo, Boon Thau _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686182
245	1	0	_aDeclarative Networking _cby Boon Thau Loo, Wenchao Zhou
250			_a1st edition 2012
264		1	_aCham _bSpringer International Publishing _c2012
300			_a1 recurso en línea (XVII, 111 páginas)
336			_atexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
347			_aarchivo de texto _bPDF
490	0		_aSynthesis Lectures on Data Management _x2153-5426
505	0		_aIntroduction -- Declarative Networking Language -- Declarative Networking Overview -- Distributed Recursive Query Processing -- Declarative Routing -- Declarative Overlays -- Optimization of NDlog -- Recent Advances in Declarative Networking -- Conclusion.
520			_aDeclarative 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.
988			_aSynthesis Collection of Technology_2012
650		7	_2embne _9150657 _aProtocolos de comunicación
650		7	_2embne _9141354 _aRedes informáticas
650		7	_2embne _9686181 _aProgramación declarativa
700	1		_aZhou, Wenchao _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686183
776	0	8	_iPrinted edition: _z9783031007583
776	0	8	_iPrinted edition: _z9783031030147
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-031-01886-2 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b01/2023 _dz _esc _zSI