Keyphrases
- abstract data types
- data types
- denotational semantics
- object oriented databases
- programming language
- relational database systems
- data abstraction
- operational semantics
- formal specification
- data model
- database
- relational data model
- database systems
- spatio temporal databases
- type checking
- high level
- image sequences
- website
- artificial intelligence
- machine learning