* 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 _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
