On the Decidability of the Equivalence Problem for Monadic Recursive Programs.
Vladimir A. ZakharovPublished in: RAIRO Theor. Informatics Appl. (2000)
Keyphrases
- recursive programs
- query containment
- datalog programs
- query answering
- program synthesis
- logic programs
- transformation rules
- conjunctive queries
- transitive closure
- decision procedures
- data exchange
- description logics
- integrity constraints
- deductive databases
- logic programming
- regular expressions
- data complexity
- query evaluation
- data integration
- query optimization
- metamodel
- sql queries
- database systems