flask#
Info#
Full Name |
flask |
Direct download |
|
Source |
Graph Statistics#
Num Nodes |
Num Edges |
|---|---|
1517 |
6234 |
Edges Statistics#
Edge Label |
Num Edge Label |
|---|---|
specializationOf |
694 |
specializationOf_r |
694 |
used |
456 |
used_r |
456 |
wasAssociatedWith |
150 |
wasAssociatedWith_r |
150 |
wasAttributedTo |
694 |
wasAttributedTo_r |
694 |
wasDerivedFrom |
456 |
wasDerivedFrom_r |
456 |
wasGeneratedBy |
667 |
wasGeneratedBy_r |
667 |
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