Semantics for First-Order Affine Inductive Data Types via Slice Categories.
Vladimir ZamdzhievPublished in: CMCS (2020)
Keyphrases
- data types
- sound and complete with respect
- data model
- database management systems
- model theoretic
- database systems
- user defined
- data structure
- formal semantics
- first order logic
- database objects
- relational data model
- inductive logic programming
- logic programming
- abstract data types
- data mining
- spatiotemporal data
- data mining algorithms
- data manipulation language
- databases
- machine learning
- theory revision
- microsoft sql server
- training set
- object identity
- real world