Loading...
Please wait, while we are loading the content...
Similar Documents
Declarative Networking: Language, Execution and Optimization
| Content Provider | CiteSeerX |
|---|---|
| Author | Ramakrishnan, Raghu Thau, Boon Hellerstein, Joseph M. Gay, E. David, Garofalakis Tyson, Loo Maniatis, Petros Minos, Condie Roscoe, Timothy |
| Abstract | The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for a next-generation Internet architecture. In this context, we have investigated declarative networking: the use of a distributed recursive query engine as a powerful vehicle for accelerating innovation in network architectures [23, 24, 33]. Declarative networking represents a significant new application area for database research on recursive query processing. In this paper, we address fundamental database issues in this domain. First, we motivate and formally define the Network Datalog (NDlog) language for declarative network specifications. Second, we introduce and prove correct relaxed versions of the traditional semi-naïve query evaluation technique, to overcome fundamental problems of the traditional technique in an asynchronous distributed setting. Third, we consider the dynamics of network state, and formalize the “eventual consistency ” of our programs even when bursts of updates can arrive in the midst of query execution. Fourth, we present a number of query optimization opportunities that arise in the declarative networking context, including applications of traditional techniques as well as new optimizations. Last, we present evaluation results of the above ideas implemented in our P2 declarative networking system, running on 100 machines over the Emulab network testbed. 1. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Recursive Query Processing Network Datalog Next-generation Internet Architecture Declarative Network Specification Declarative Networking Query Execution Query Optimization Opportunity Network State Correct Relaxed Version Powerful Vehicle Asynchronous Distributed Setting New Optimization Significant New Application Area Applicationlevel Overlay Network Fundamental Problem Declarative Networking Context Traditional Technique Distributed Recursive Query Engine P2 Declarative Networking System Database Research Fundamental Database Issue Present Evaluation Result Eventual Consistency New Network Architecture Emulab Network Distributed System Community Network Architecture |
| Content Type | Text |
| Resource Type | Article |
