Database tools

The database tools are designed for database management, and are independent of how the database is organized. At runtime, a database driver is selected depending on the contents of the tabledef file.