Trakeva: Home




Transactions, Keys, and Values: an attempt at a generic interface for transactional key-value stores with different backends.

The interfaces are defined in the Trakeva module, we have, for now, one DB implementation of the module type Trakeva.KEY_VALUE_STORE:

There is also a very basic in “in-memory” cache functor, adding a cache layer on top of any key-value DB, cf. Trakeva_cache.

This is Trakeva 0.0.0, see also the repository smondet/trakeva for issues/questions.


To install the libraries use opam:

opam install trakeva

If the library sqlite3 is installed the library trakeva_sqlite will be picked-up for installation too (higly recommended).

To get the development version you can use

opam remote add smondet
opam update

or from the repository, just run:

make configure

(this will enable all backends and the tests).


The tests/benchmarks also depend on the Sosa library (opam install sosa).

To run the unit tests:


To run the benchmarks:

./trakeva_tests bench collection=100 kb=5     # quick bench
./trakeva_tests bench collection=1000 kb=20   # about a minute long

To build the documentation:

make doc

and checkout _doc/index.html.


Sqlite3 On MacOSX

See the issues #50, on the opam-repository and #21129 on Homebrew. So please use:

brew install pkg-config sqlite
export PKG_CONFIG_PATH=`find /usr/local/Cellar/sqlite -depth 1 | tail -n 1`/lib/pkgconfig
opam install sqlite3