Logic-inspired query processing framework for sensor networks

We present Chequery, a novel query processing framework that brings together model checking approaches and query processing techniques for sensor networks. In addition to its expressiveness, Chequery provides sound mechanisms available to sensor networks’ administrators for building their data management-oriented tasks.