Keyphrases
- object oriented
- databases
- expressive power
- data model
- programming language
- query language
- object oriented design
- knowledge representation
- object oriented databases
- conceptual modeling
- modal logic
- inference rules
- object oriented modeling
- database systems
- design methodology
- object oriented systems
- classical logic
- proof theory
- declarative language
- knowledge discovery
- relational databases
- propositional dynamic logic
- attribute grammars
- propositional calculus
- neural network
- database schema
- conceptual models
- declarative knowledge
- domain independent
- first order logic
- information systems
- component based architecture
- general purpose
- software engineering
- object oriented technology
- high level
- data base management