Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines.
Mario WenzelStefan BrassPublished in: LOPSTR (2020)
Keyphrases
- incomplete information
- finite state machines
- datalog programs
- fixpoint
- model checking
- finite state automata
- recursive queries
- inconsistent databases
- fixpoint semantics
- magic sets
- regular expressions
- hidden markov models
- data mining
- stable models
- conjunctive queries
- integrity constraints
- deductive databases
- object oriented
- information extraction
- computational complexity