Resources related to configuration and maintenance of Galaxy servers

Questions of the tutorial:

• Running a production Galaxy server, you some times end up in with a situation, where you manually need to interact with the Galaxy database: how do you do that
• How to extract usage information, which can not be gathered using the given report tools
• How to move from MySQL to PostgreSQL
• Is there ever a need to manually change the contents of a table

Objectives of the tutorial:

• Learn some of the design concepts of the Galaxy database
• Extract information from the Galaxy database
• Get to know SchemaSpy