Applications and libraries/Database interfaces/CoddFish
m (Libraries and tools/Database interfaces/CoddFish moved to Applications and libraries/Database interfaces/CoddFish)
Revision as of 15:13, 3 May 2007
CoddFish is a strongly-typed model that can be used to design and experiment with typed languages for modelling, programming, and migrating databases.
Apart from the standard relational database operations, such as selection and join, it contains functional dependencies, normal forms, and operations for database transformation.
Unlike tools such as Haskell/DB, the CoddFish library does not (at the moment) aim to support database connectivity.
Further details can be found in the draft paper available from the project webpage.
CoddFish is available as part of the UMinho Haskell Libraries.