[Haskell] Haskell Weekly News: September 18, 2006

[Alexandra Silva]

>     * Strong Types for Relational Databases . Alexandra Silva and Joost
>       Visser [33]presented a relational database Using the type system
>       to encode not only the types of fields it was joining, but a bit
>       more about their meaning and role in the key.
>
>         Type-level programming is used to maintain the consistency between
>         header and rows, and between functional dependencies and tables.
>         Type-level predicates are provided to check whether tables and
>         functional dependencies are in particular normal-forms, or not.
>
>  33. http://lmf.di.uminho.pt/wiki/pub/PURe/CoddFish/StrongTypesForRDBs-draft-04-03-2006.pdf
>
>  
>
Link 33 does not work. Should be:

http://wiki.di.uminho.pt/wiki/pub/PURe/CoddFish/StrongTypesForRDBs-draft-04-03-2006.pdf

or, for a more recent version of the paper:

http://www.di.uminho.pt/~joostvisser/publications/StrongTypesForRDBs.pdf

Best,
Alexandra