Keyphrases
- programming language
- dl lite
- object oriented
- data complexity
- general purpose
- high level
- description logics
- denotational semantics
- software engineering
- database languages
- object oriented programming
- programming environment
- conjunctive queries
- logic programming
- strongly typed
- query evaluation
- specification language
- functional programming
- first order logic
- data abstraction
- object oriented concepts
- lambda calculus