Towards a Formalisation of Relational Database Theory in Constructive Type Theory
Paper i proceeding, 2004
type theory
relational databases
formalized mathematics
Författare
Carlos Gonzalía
Göteborgs universitet
Chalmers, Institutionen för datavetenskap
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)
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)
DOI
10.1007/978-3-540-24771-5_12
ISBN
3-540-22145-X