Deductive Framework for Programming Sensor Networks

Himanshu Gupta, Xianjin Zhu, Xiang Xu
2009 Proceedings / International Conference on Data Engineering  
Developing powerful paradigms for programming sensor networks is critical to realize the full potential of sensor networks as collaborative data processing engines. In this article, we motivate and develop a deductive framework for programming sensor networks, extending the prior vision of viewing sensor network as a distributed database. The deductive programming approach is declarative, very expressive, and amenable to automatic optimizations. Such a framework allows users to program sensor
more » ... twork applications at a high-level without worrying about the low-level tedious details. Our system translates a given deductive program to efficient distributed code that runs on individual nodes. To facilitate the above translation, we develop techniques for distributed and asynchronous evaluation of deductive programs in sensor networks. Our techniques generalize to recursive programs without negations, arbitrary nonrecursive programs with negations, and in general to arbitrary "locally non-recursive" programs with function symbols. We present performance results on TOSSIM, a network simulator, and a small network testbed.
doi:10.1109/icde.2009.52 dblp:conf/icde/GuptaZX09 fatcat:dlm6jg5ltbgqhfbohpuvx53p6a