Monday, June 3, 2019

SQL schema

Tables as bullets, columns per table as sub-bullets: 
  • expressions
    • unique numeric ID
    • Latex
  • inference rules
    • unique string name
    • text expansion in Latex
    • number of input arguments
    • number of output arguments
For each "name of derivation",
  • edge list
    • source temp index
    • destination temp index
  • expression identifiers
    • unique numeric ID
    • temp index
  • inference rule identifiers
    • unique string name
    • temp index
  • feeds
    • temp index
    • Latex

No comments:

Post a Comment