Reasoning about Algebraic Data Types with Abstractions.
Tuan-Hung PhamAndrew GacekMichael W. WhalenPublished in: CoRR (2016)
Keyphrases
- data types
- abstract data types
- database systems
- qualitative spatial
- data model
- data structure
- user defined
- database management systems
- back end
- spatial reasoning
- high level
- data mining algorithms
- database server
- microsoft sql server
- database
- website
- object oriented databases
- data formats
- data management
- data manipulation language