Generating a REST API from a database