NETQUEST Objectives
The objective of the NETQUEST project is to study and design innovative solutions to facilitate the development of data intensive applications over dynamic and decentralized networks. Our main focus is on the design of a high level programming abstraction which allows to develop networking protocols as well as applications and services, jointly in a single declarative framework.
The team is currently developing and implementing the NETQUEST system. Its architecture differs from classical embedded systems. It relies on a relational database, which stores both data and network information, and on a Distributed Query Engine, which handles in a fully distributed manner, the processing and the execution of queries, whether related to network protocols or applications.
NETQUEST thus allows the rapid prototyping of communication protocols and applications, in a declarative query language, Netlog, essentially as simple as pseudo-code expressions. It guarantees the independence of a logical layer from the physical layers, much like relational database systems. Netlog, which extends recursive rule languages such as Datalog, with communication primitives, aims at increasing the reliability of the code as well as the productivity of programmers. A library of certified protocols, written in Netlog is under development.
The team is also investigating the foundations of distributed query processing, with a special focus on the distributed evaluation of logical formalisms (e.g. FO, MSO) for graphs, and their distributed complexity.
Members
- Prof. Stéphane GRUMBACH Principal investigator
- Post Doc Xiang ZHOU
- PhD student Fang WANG
- PhD student Wenwu QU
- PhD student Kun SUO
- Master student Xin QI
Recent Publications
- Zhilin Wu, Stephane Grumbach.
Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs.
Discrete Applied Mathematics, to appear.
- Stephane Grumbach, Zhilin Wu.
Distributed Tree Decomposition of Graphs and Applications to Verification.
APDCM 2010, 12th Workshop on Advances on Parallel and Distributed Processing Symposium
- Stephane Grumbach, Fang Wang.
Netlog, a Rule-Based Language for Distributed Programming.
PADL’10: Practical Aspects of Declarative Languages
- Wenwu Qu.
Declarative Composition Routing Protocols Adaptation in MANET Using Rough Set Theory.
WiCOM 2009.
System
Seminar
Weekly seminar 3rd meeting room 13 floor CASIA at 14:30 on every Friday
Past seminars
Projects
- ANR Ubiquest, Ubiquitous Quest : declarative approach for integrated network and data management in wireless multi-hop networks, with Grenoble Institute of Technology (Christine Collet, Christophe Bobineau), and INRIA CITI Laboratory in Lyon (Stéphane Ubéda, Fabrice valois, Isabelle Augé-Blum). 2009/2012
- CRC Bamboo on Distributed Query Processing and Networking for Wireless Network, with FT R&D Beijing, 2007/2009
Positions available in Netquest
- Postdoc position: Open Sept 2009
- PhD position: Open Sept 2009
- Master students intern positions (3-6 months): Spring/summer 2010
