The MYDDAS Project: Using a Deductive Database for Traffic Characterization.
Michel FerreiraPublished in: ICLP (2005)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- integrity checking
- disjunctive deductive databases
- semantic query optimization
- network traffic
- fixpoint
- traffic flow
- closed world assumption
- event calculus
- query evaluation
- database
- update propagation
- datalog programs
- declarative semantics
- general logic programs
- semantics of logic programs
- stable models
- sensor networks
- knowledge representation
- artificial intelligence