Keyphrases
- data modeling
- logic programming
- proof theory
- database design
- data model
- database development
- database technology
- relational model
- database management
- object oriented
- conceptual model
- formal semantics
- data management
- conceptual data modeling
- data warehousing
- sql server
- entity relationship
- database design and implementation
- domain knowledge
- database administration
- owl dl
- entity relationship modeling
- physical database design
- logical database design
- databases
- logic programs
- expert systems
- database systems
- knowledge base
- domain ontology
- database applications
- programming language
- knowledge representation