Keyphrases
- propositional logic
- formal model
- data model
- algebraic operators
- databases
- regular expressions
- formal representation
- real numbers
- artificial intelligence
- query language
- evolutionary algorithm
- formal specification
- relational algebra
- database
- data analysis
- search algorithm
- case study
- knowledge base
- genetic algorithm
- information retrieval
- data sets
- real time