Keyphrases
- data types
- abstract interpretation
- termination analysis
- static analysis
- active rules
- data model
- model checking
- data structure
- database systems
- database management systems
- user defined
- dynamic analysis
- reasoning engine
- active databases
- abstract data types
- open source
- object oriented
- databases
- data mining algorithms
- relational model
- relational databases
- knowledge base