Towards a Formalisation of Relational Database Theory in Constructive Type Theory
Paper in proceeding, 2004
type theory
relational databases
formalized mathematics
Author
Carlos Gonzalía
University of Gothenburg
Chalmers, Department of Computing Science
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
Vol. LNCS 3051 137-148
3-540-22145-X (ISBN)
Subject Categories
Computer Science
DOI
10.1007/978-3-540-24771-5_12
ISBN
3-540-22145-X