The Internet of Things (IoT) is a key technology for smart community networks, such as smart-city environments, and its evolution calls stringent performance requirements (e.g., low delay) to support efficient communication among wide range objects, including people, sensors, vehicles, etc. At the same time, these ecosystems usually adopt wireless mesh extend their in large-scale IoT deployment...

Integrity constraints can be used to specify properties of predicate deenitions in deductive databases and logic programs. Written in if-then form, they lend themselves to generate, in forward reasoning (propagation) style, logically redundant information which is computa-tionally useful. But similarly they may also be used to delete logically redundant information which is useless and possibly...