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 Kun SUO
Recent Publications
- Junhu Zhang, Stéphane Grumbach, Dongqing Yang, Alberto Martinez Anaya.
Ripple routing: an On-demand Routing Protocol for In-network Query Processing on Wireless Sensor Networks. S2010 IEEE International Conference on Mechatronics and Automation (ICMA 2010), August 4-7, 2010, Xi’an, China.
- Michel Bauderon, Stephane, Grumbach, Daqing GU, Xin Qi, Wenwu Qu, Kun Suo, Yu Zhang.
Programming iMote Networks Made Easy. SENSORCOMM 2010: The Fourth International Conference on Sensor Technologies and Applications
- Zhilin Wu, Stephane Grumbach.
Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs. Discrete Applied Mathematics, Volume 158, Issue 9, 6 May 2010, Pages 1017-1028.
System
Seminar
Weekly seminar 3rd meeting room 13 floor CASIA at 14:30 on every Tuesday
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
