Suchergebnisse - "Theory Keywords Type-level programming"

Strong Types for Relational Databases (Functional Pearl)

Autoren: Alexandra Silva Joost Visser The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Alexandra Silva Joost Visser The Pennsylvania State University CiteSeerX Archives

Quelle: http://homepages.cwi.nl/~ams/publications/hw2006.pdf.

Schlagwörter: tures, Records, H.2.1 [DatabaseManagement, Logical design— Data models, normal forms, Schema and subschema, H.2.3 [Data- base Management, Languages—Data manipulation languages, Query languages General Terms Algorithms, Design, Languages, Theory Keywords Type-level programming, Haskell, relational databases, SQL, functional dependency theory ∗ Supported by the Fundação para a Ciência e a Tecnologia, Portugal

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.513.1763; http://homepages.cwi.nl/~ams/publications/hw2006.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.513.1763
http://homepages.cwi.nl/~ams/publications/hw2006.pdf