Relational Parametricity and Quotient Preservation for Modular (Co)datatypes.
Andreas LochbihlerJoshua SchneiderPublished in: ITP (2018)
Keyphrases
- data types
- data model
- database systems
- data structure
- user defined
- relational data
- relational databases
- database management systems
- relational model
- data sources
- machine intelligence
- modular structure
- query language
- relational learning
- object oriented
- entity relationship
- data mining algorithms
- database
- xml data
- database language
- modular neural networks
- multi relational
- expert systems
- data mining
- real time