Type Theory as a Unifying Paradigm for Modern Databases.

Christoph Dorn Haikal Pribadi

Published in: CIKM (2023)

Keyphrases

databases
theoretical framework
database
metadata
data model
database applications
computational model
conceptual framework
relational database theory
database systems
multi agent
theoretical foundation
database theory
complexity theory