The GNU database manager 