Data Dimension for MathHub.info
The MathHub.info system currently only has active/semantic documents and theory graphs. But we would like to integrate and host mathematical data bases like the OEIS or LMFDB with mathematical interfaces.
The theory and part of the implementation has already been done in virtual theories and is proposed as part of #20. Now we need to build the infrastruture in MathHub.info. Concretely, this involves
- installing and exposing a data base server as http://data.mathhub.info (probably Postgres or so)
- extending the MMT
lmh
extension to create data bases for any archive with virtual theories (i.e. theories for which the necessary codecs and schema theories exist) - developing a process for syncing the access permissions in the data base with those for the archive at http://gl.mathhub.info
- develop a MMT
data
extension with a structure component that creates/updates tables for MMT theories and whose object component uses queries for MMT expressions.