Keyphrases
- formal methods
- object orientation
- object oriented
- physical database design
- software engineering
- model checking
- database
- formal specification
- database management
- artificial intelligence
- object relational
- database design
- knowledge based systems
- data model
- temporal logic
- databases
- data warehousing
- reverse engineering
- case study