This gem provides some useful tools from the database theory