Navigation: Theorem Visualization Pipeline > Server Home Page > Manage > Database

Send comments on this topic.

  

 

Database

 

Every Theorem Visualisation Pipeline will have an optimum recommended supporting database definition. This page allows the user to analyse any differences with the current active database and the required one. A user will be presented information reported on this page in a sections with the syntax:

Active in user roles: Admin

 

Field

Description

Issues

Looks for missing tables or missing columns within a table that are expected by the installed server

Differences

Looks for some differences in the column datatypes, columns constrains and table constrains.

Update

Allows a user to interactively update the page

Database Schema

Compare the SQL table definitions for the actual database to the SQL that would generate the tables expected by the server.

 

There is one button available “Add missing tables and table column”. This is to allow users to interactively refresh to see if issues are resolved