Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report).
Hossein HojjatPhilipp RümmerPublished in: CoRR (2018)
Keyphrases
- data types
- technical report
- data structure
- data model
- database systems
- database management systems
- user defined
- back end
- abstract data types
- data mining algorithms
- data formats
- database objects
- data mining
- database applications
- machine learning
- microsoft sql server
- database server
- query processing
- databases
- data management
- multi dimensional
- general purpose
- information retrieval