MySQL database schema queries

Talked about some tables already but are there any other tables that may be useful for the procedure? Would it be more efficient/better to store the info in those tables in a different way e.g., all nondecmp theories in a table/reducible in a table/weakly reducible in a table? 
