Keyphrases
- functional programming
- object oriented
- object oriented programming
- programming language
- functional language
- quantifier elimination
- data model
- execution model
- software engineering
- database applications
- database design
- relational databases
- database schema
- logic programming
- object oriented databases
- query language
- reverse engineering
- database technology
- key concepts
- abstract data types
- data warehousing
- information systems