Reasoning About Algebraic Data Types with Abstractions.
Tuan-Hung PhamAndrew GacekMichael W. WhalenPublished in: J. Autom. Reason. (2016)
Keyphrases
- data types
- abstract data types
- data model
- data structure
- qualitative spatial
- database systems
- database management systems
- user defined
- high level
- spatial reasoning
- database
- database server
- back end
- databases
- general purpose
- data mining
- database design
- relational databases
- information retrieval
- data manipulation language