[Haskell] Haskell Weekly News: September 18, 2006

Alexandra Silva xana at di.uminho.pt
Wed Sep 20 11:22:32 EDT 2006

>     * 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:


or, for a more recent version of the paper:



More information about the Haskell mailing list