Deductive Framework for Programming Sensor Networks


Project Overview

Programming a sensor network application remains a difficult task, since the programmer is burdened with low-level details related to distributed computing, careful management of limited resources, energy optimizations, and other network machineries. To address the above challenge, we are developing a deductive/logic programming framework for sensor network.

The main objective of our project is to develop a full-fledged in-network query engine for communication-efficient evaluation of deductive queries in sensor networks. Essentially, our framework would enable automatic translation of a high-level user specification into efficient distributed code that runs on individual sensor nodes.

The first phase of our work has been on development of communication-efficient algorithm for distributed implemention of the SQL join operation in sensor networks. Second phase has entailed extending these techniques to evaluation of general deductive queries in sensor networks. In later phases, we plan to develop a framework for probabilistic logic programming in sensor networks, and in-network evaluation of such queries.

Faculty

Related Publications

  • V. Chowdhary, H. Gupta. Communication-Efficient Implementation of Join Operation in Sensor Networks. Elsevier's Ad Hoc Networks, 5(6), 2007. PDF Longer Version
  • A. Pandit and H. Gupta. Communication-Efficient Implementation of Range-Joins in Sensor Networks. International Conference on Database Systems for Advanced Applications (DASFAA), 2006. PDF; Longer Version.
  • X. Zhu, H. Gupta, B. Tang. Join of Multiple Data Streams in a Sensor Network. To appear in IEEE Transactions on Knowledge and Data Engineering (TKDE), 2009. PDF.
  • H. Gupta, X. Zhu, X. Xu. Deductive Framework for Programming Sensor Networks. To appear in ICDE 2009. Conference submission. Longer version.

    • Funded by NSF Awards: