Keyphrases
- databases
- query language
- theorem proving
- database
- efficient retrieval
- theorem prover
- query processing
- multimedia databases
- mathematical knowledge
- formal proof
- decision procedures
- graph databases
- hidden markov models
- relational databases
- expert systems
- similarity measure
- decision trees
- website
- multimedia
- information retrieval