A System for Using Wireless Sensor Networks as Globally Deductive Databases.
Supasate ChoochaisriChalermek IntanagonwiwatPublished in: WiMob (2008)
Keyphrases
- deductive databases
- wireless sensor networks
- integrity constraints
- logic programming
- energy consumption
- sensor networks
- fixpoint
- sensor nodes
- query evaluation
- semantic query optimization
- disjunctive deductive databases
- declarative language
- constraint checking
- closed world assumption
- declarative semantics
- model theoretic
- artificial intelligence
- software engineering
- hypothetical reasoning
- general logic programs