Towards a Formalisation of Relational Database Theory in Constructive Type Theory.

Carlos Gonzalía

Published in: RelMiCS (2003)

Keyphrases

relational database theory
universal relation
normal form
conjunctive queries
functional dependencies
database design
incomplete information
acyclic conjunctive queries
query evaluation
null values
nested relations