Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories
Dominique PerrinPaul E. SchuppPublished in: LICS (1986)
Keyphrases
- query containment
- datalog programs
- automata theoretic
- query answering
- regular expressions
- conjunctive queries
- regular path queries
- deductive databases
- finite automata
- decision procedures
- description logics
- transitive closure
- integrity constraints
- datalog queries
- causal reasoning
- query evaluation
- query rewriting
- tree automata
- temporal logic
- theoretical framework
- query language
- cellular automata
- data integration
- probabilistic automata
- neural network
- database systems
- finite state
- artificial intelligence
- floating point
- database