Personal tools

Applications and libraries/Database interfaces/CoddFish

From HaskellWiki

< Applications and libraries | Database interfaces(Difference between revisions)
Jump to: navigation, search
(Introduction changed (to appear less dense))
(Added remark about Haskell/DB)
Line 10: Line 10:
 
selection and join, it contains functional dependencies, normal
 
selection and join, it contains functional dependencies, normal
 
forms, and operations for database transformation.
 
forms, and operations for database transformation.
  +
  +
Unlike tools such as [http://www.haskell.org/haskellDB 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 [http://wiki.di.uminho.pt/wiki/bin/view/PURe/CoddFish project webpage].
 
Further details can be found in the draft paper available from the [http://wiki.di.uminho.pt/wiki/bin/view/PURe/CoddFish project webpage].

Revision as of 11:15, 19 June 2006

Contents


1 Introduction

CoddFish is a strongly-typed model that can be used to design and experiment with typed languages for modelling, programming, and migrating databases.

It is encoded in the functional programming language Haskell and it makes extensive use of typeclass bounded, parametric polymorphism and heterogeneous collections.

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.

2 Availability

CoddFish is available as part of the UMinho Haskell Libraries.

3 Credits

4 Related concepts