Evaluating Datalog via Tree Automata and Cycluits.
Antoine AmarilliPierre BourhisMikaël MonetPierre SenellartPublished in: CoRR (2018)
Keyphrases
- integrity constraints
- tree automata
- deductive databases
- query answering
- regular expressions
- finite automata
- finite state
- tree languages
- syntactic pattern recognition
- query language
- pattern matching
- finite automaton
- context free grammars
- datalog programs
- query evaluation
- expressive power
- information retrieval
- monadic second order logic