Keyphrases
- data types
- database systems
- formal specification language
- data model
- data structure
- database management systems
- code generation
- user defined
- temporal logic
- formal specification
- high level
- database server
- database objects
- databases
- formal methods
- object relational
- similarity search
- temporal ordering
- abstract data types
- machine learning
- object oriented
- data formats
- information retrieval
- knowledge compilation
- nearest neighbor