Skip to Main Content
Several research efforts have abstracted wireless sensor networks as relational databases whose data can be easily queried by users. However, none of these works includes recursive query mechanisms and globally logic reasoning techniques necessary for powerful uses as in deductive databases. In this paper, we propose an approach for abstracting wireless sensor networks as deductive databases that consist of rules, predicates, and logic-based queries. Our approach enables globally logic reasoning and data relating on a query that can be recursive or non-recursive. Additionally, the approach is more convenient to users because the users no longer need to be concerned about local behaviors of each sensor node. We also present LogicQ, an underlying system for disseminating and processing logic-based queries as well as collecting data in an energy-efficient manner. LogicQ uses a data filtering and suppressing technique that directly corresponds to an injected logic-based query for energy savings. Our performance analysis indicates that LogicQ can handle logic-based queries efficiently in terms of completeness and soundness while minimizing the energy consumption.