Evita raced: metacompilation for declarative networks

Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is important that the architectures of these declarative systems be extensible, in order to accommodate unforeseen needs in these new domains. In this paper, we apply the lessons of declarative systems to the internals of a declarative engine. Specifically, we describe our design and implementation of Evita Raced, an extensible compiler for the OverLog language used in our declarative networking system, P2. Evita Raced is a metacompiler: an OverLog compiler written in OverLog. We describe the minimalist architecture of Evita Raced, including its extensibility interfaces and its reuse of P2's data model and runtime engine. We demonstrate that a declarative language like OverLog is well-suited to expressing traditional and novel query optimizations as well as other query manipulations, in a compact and natural fash...

• Type: Journal
• Year: 2008
• Where: PVLDB
• Authors: Tyson Condie, David Chu, Joseph M. Hellerstein, Petros Maniatis
• Keywords: Declarative Engine, Declarative Networking, Declarative Systems, PVLDB 2008