Evaluating Datalog via Tree Automata and Cycluits.
Antoine AmarilliPierre BourhisMikaël MonetPierre SenellartPublished in: Theory Comput. Syst. (2019)
Keyphrases
- tree automata
- finite automata
- regular expressions
- finite state
- query language
- expressive power
- tree languages
- syntactic pattern recognition
- deductive databases
- query answering
- finite automaton
- databases
- markov chain
- datalog programs
- integrity constraints
- context free grammars
- grammatical inference
- natural language processing
- hidden markov models
- query processing
- high level