Keyphrases
- integrity checking
- er model
- integrity constraints
- database schema
- formal semantics
- entity relationship
- conceptual schema
- deductive databases
- relational database systems
- database design
- logic programming
- owl dl ontology
- constraint logic programming
- functional dependencies
- modal logic
- object oriented
- query answering
- logic programs
- general purpose
- automated reasoning
- database systems
- xml documents
- owl dl
- fuzzy ontology
- high level
- database