Semantics for first-order affine inductive data types via slice categories.
Vladimir ZamdzhievPublished in: CoRR (2020)
Keyphrases
- data types
- sound and complete with respect
- database management systems
- model theoretic
- data model
- data structure
- database systems
- user defined
- data manipulation language
- data formats
- formal semantics
- database objects
- spatiotemporal data
- first order logic
- deductive databases
- microsoft sql server
- object identity
- complex data types
- inductive logic programming
- application programs
- database
- logic programming
- distance measure
- knowledge representation
- query language
- databases