An idiom to represent data types in Alloy.
Rohit GheyiPaulo BorbaAugusto SampaioMárcio RibeiroPublished in: Inf. Softw. Technol. (2017)
Keyphrases
- data types
- user defined
- data model
- database systems
- data structure
- database management systems
- back end
- abstract data types
- microsoft sql server
- data mining algorithms
- data manipulation language
- data representation
- data analysis
- real world
- machine learning
- database server
- database objects
- data sets
- data formats
- spatiotemporal data
- database