mnesia management toolset, with caching built-in (erlang)