Database.ERD
Database.CDBI.Connection
Database.CDBI.Criteria
Database.CDBI.Description
Database.CDBI.ER
Database.CDBI.QueryTypes
This package contains libraries to support type-safe database programming. This paper contains a description of the basic ideas behind these libraries.
Usually, it is not necessary to use these libraries directly. Instead, one can use the Curry preprocessor to formulate type-safe SQL queries which are translated into calls to these libraries.