cdbi: Type-safe database programming

This package contains libraries to support type-safe database programming. This paper contains a description of the basic ideas behind these libraries.

Since the current implementation is based on the SQLite database system, it must be installed together with the command line interface sqlite3. This can be done in a Ubuntu distribution by

sudo apt-get install sqlite3

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.

Download

Checkout with CPM:

cypm checkout cdbi 3.1.0

Package source:

cdbi-3.1.0.tar.gz [browse]

Source repository:

https://git.ps.informatik.uni-kiel.de/curry-packages/cdbi.git