First-Order Specifications of Programmable Data Types.
Grazyna MirkowskaAndrzej SalwickiMarian SrebrnyAndrzej TarleckiPublished in: SIAM J. Comput. (2000)
Keyphrases
- relational model
- data types
- data model
- relational algebra
- database systems
- database management systems
- first order logic
- user defined
- database
- database design
- back end
- databases
- data sources
- abstract data types
- database server
- general purpose
- data manipulation language
- complex data types
- data structure
- microsoft sql server
- image processing
- spatiotemporal data
- data formats
- feature selection
- data management
- data analysis
- feature space
- data mining algorithms
- data points
- data mining techniques