Presheaf Models of Relational Modalities in Dependent Type Theory.

Published in: CoRR (2018)

Keyphrases

relational data
theoretical framework
mathematical models
data model
databases
data mining
decision making
relational databases
experimental data
computational models
parametric models
theoretical models
relational models
theoretical developments