Partial arithmetical data types of rational numbers and their equational specification.
Jan A. BergstraJohn V. TuckerPublished in: J. Log. Algebraic Methods Program. (2022)
Keyphrases
- data types
- user defined
- data structure
- data model
- database systems
- database management systems
- high level
- back end
- theorem proving
- database server
- equational theories
- data sets
- data mining algorithms
- abstract data types
- theorem prover
- data manipulation language
- transaction management
- microsoft sql server
- database objects
- data formats
- complex data types
- spatial data
- data warehouse
- query processing
- preprocessing
- metadata