jinja#
Info#
Full Name |
jinja |
Direct download |
|
Source |
Graph Statistics#
Num Nodes |
Num Edges |
|---|---|
1202 |
5110 |
Edges Statistics#
Edge Label |
Num Edge Label |
|---|---|
specializationOf |
527 |
specializationOf_r |
527 |
used |
410 |
used_r |
410 |
wasAssociatedWith |
178 |
wasAssociatedWith_r |
178 |
wasAttributedTo |
527 |
wasAttributedTo_r |
527 |
wasDerivedFrom |
410 |
wasDerivedFrom_r |
410 |
wasGeneratedBy |
503 |
wasGeneratedBy_r |
503 |
Canonical Grammar#
This grammar describes derivation chains in provenance graphs. The start nonterminal is \(S\).
\[\begin{split}S \, \rightarrow \, Step \mid S \, Step \, \\
Step \, \rightarrow \, used_r \, Generated \mid wasDerivedFrom_r \, \\
Generated \, \rightarrow \, wasGeneratedBy_r \, \\\end{split}\]
S -> Step
S -> S Step
Step -> used_r Generated
Step -> wasDerivedFrom_r
Generated -> wasGeneratedBy_r