Sensor Queries : Algebraic Optimization for Data Quality , Time and Energy

Sensor databases extend database technology to query and monitor the physical world as a highly distributed database. In this paper we consider a Data Transmission Algebra (DTA) that allows a query optimizer to utilize lower layer communication protocols in scheduling sensor database queries. By being able to determine the order in which data are processed at sensor nodes and transmitted between sensor nodes in a query routing tree, a query optimizer can both improve the response time and reduce the energy consumption per query. We use a logical framework to specify DTA semantics and to prove its soundness and completeness. Further, we prove that DTA query execution schedules have the key property of being collision-free.

[1]  Deborah Estrin,et al.  A wireless sensor network For structural monitoring , 2004, SenSys '04.

[2]  Wei Hong,et al.  Model-Driven Data Acquisition in Sensor Networks , 2004, VLDB.

[3]  Vladimir Zadorozhny,et al.  Algebraic optimization of data delivery patterns in mobile sensor networks , 2004, Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004..

[4]  Mohamed A. Sharaf,et al.  Location-Aware Routing for Data Aggregation in Sensor Networks1 , 2004 .

[5]  Vladimir Zadorozhny,et al.  A framework for extending the synergy between MAC layer and query optimization in sensor networks , 2004, DMSN '04.

[6]  Jeffrey Considine,et al.  Approximate aggregation techniques for sensor databases , 2004, Proceedings. 20th International Conference on Data Engineering.

[7]  Mohamed A. Sharaf,et al.  TiNA: a scheme for temporal coherency-aware in-network aggregation , 2003, MobiDe '03.

[8]  Ye Sun,et al.  Power-efficient data dissemination in wireless sensor networks , 2003, MobiDe '03.

[9]  Wei Hong,et al.  The design of an acquisitional query processor for sensor networks , 2003, SIGMOD '03.

[10]  Wei Hong,et al.  Proceedings of the 5th Symposium on Operating Systems Design and Implementation Tag: a Tiny Aggregation Service for Ad-hoc Sensor Networks , 2022 .

[11]  Mohamed F. Younis,et al.  Energy-aware routing in cluster-based sensor networks , 2002, Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems.

[12]  Yong Yao,et al.  The cougar approach to in-network query processing in sensor networks , 2002, SGMD.

[13]  Vladimir Zadorozhny,et al.  Efficient evaluation of queries in a mediator for WebSources , 2002, SIGMOD '02.

[14]  Vladimir Zadorozhny,et al.  Logical Approach to Capability-Based Rewriting in a Mediator for WebSources , 2001, Journal of Intelligent Information Systems.

[15]  Deborah Estrin,et al.  Building efficient wireless sensor networks with low-level naming , 2001, SOSP.

[16]  Tomasz Imielinski,et al.  Prediction-based monitoring in sensor networks: taking lessons from MPEG , 2001, CCRV.

[17]  Krishna M. Sivalingam,et al.  A Survey of Energy Efficient Network Protocols for Wireless Networks , 2001, Wirel. Networks.

[18]  David A. Nix,et al.  Vibration–based structural damage identification , 2001, Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[19]  Philippe Bonnet,et al.  Towards Sensor Database Systems , 2001, Mobile Data Management.

[20]  Philippe Bonnet,et al.  Device Database Systems , 2000, Proceedings of 16th International Conference on Data Engineering (Cat. No.00CB37073).

[21]  Kaisa Miettinen,et al.  Nonlinear multiobjective optimization , 1998, International series in operations research and management science.

[22]  Yannis E. Ioannidis,et al.  Randomized algorithms for optimizing large join queries , 1990, SIGMOD '90.

[23]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[24]  Panos K. Chrysanthis,et al.  Structural Health Monitoring With Whirlpool , 2005 .

[25]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 2 , 1990, EATCS Monographs on Theoretical Computer Science.