[Haskell] Haskell Weekly News: September 18, 2006
xana at di.uminho.pt
Wed Sep 20 11:22:32 EDT 2006
> * Strong Types for Relational Databases . Alexandra Silva and Joost
> Visser 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