Physics Derivation Graph navigation

Sign in

SQL schema

Published 2019-06-03T10:38:00.003Z by Physics Derivation Graph

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