Keyphrases
- query rewriting
- queries using views
- rewriting rules
- automated theorem proving
- neural network
- rewriting systems
- provably correct
- regular path queries
- conjunctive queries
- formal language
- rewrite rules
- type checking
- integrity constraints
- natural deduction
- relational databases
- information systems
- database query languages
- genetic algorithm
- data sets