Provides some useful tools from the database theory