httpx#
Info#
Full Name |
httpx |
Direct download |
|
Source |
Graph Statistics#
Num Nodes |
Num Edges |
|---|---|
826 |
3460 |
Edges Statistics#
Edge Label |
Num Edge Label |
|---|---|
specializationOf |
362 |
specializationOf_r |
362 |
used |
233 |
used_r |
233 |
wasAssociatedWith |
180 |
wasAssociatedWith_r |
180 |
wasAttributedTo |
362 |
wasAttributedTo_r |
362 |
wasDerivedFrom |
233 |
wasDerivedFrom_r |
233 |
wasGeneratedBy |
360 |
wasGeneratedBy_r |
360 |
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