Keyphrases
- expressive power
- deductive databases
- query language
- query answering
- datalog programs
- cellular automata
- finite automata
- probabilistic automata
- regular expressions
- transitive closure
- logic programming
- databases
- integrity constraints
- existentially quantified
- finite automaton
- finite state machines
- lattice gas
- tree automata
- finite state automata
- data exchange
- dl programs
- recursive programs
- containment of conjunctive queries
- ontology based data access
- timed automata
- relational calculus
- finite state
- data integration
- data model