View Query Plan

from spannerlib import get_magic_session,Span
from graph_rewrite import draw

new S(str,str)
new T(str,str)

R(x,y,z)<-S(x,y),T(x,y),rgx(x,y)->(z).

sess = get_magic_session()
sess.export('?R(x,y,z)')

	x	y	z

graph,root = sess.export('?R(x,y,z)',plan_query=True,draw_query=True)

len(graph.nodes())

17

draw(graph,ret_mermaid=True)

flowchart TB
S["S
rel=#quot;S#quot;, rule_id={0, #quot;fact#quot;}, schema=[#quot;col_0#quot;, #quot;col_1#quot;], op=#quot;get_rel#quot;, db=DB(S, T, R)"]
T["T
rel=#quot;T#quot;, rule_id={0, #quot;fact#quot;}, schema=[#quot;col_0#quot;, #quot;col_1#quot;], op=#quot;get_rel#quot;, db=DB(S, T, R)"]
R["R
rel=#quot;R#quot;, rule_id={0, #quot;fact#quot;}, op=#quot;union#quot;, schema=[#quot;col_0#quot;, #quot;col_1#quot;, #quot;col_2#quot;]"]
0["0
op=#quot;rename#quot;, schema=[#quot;x#quot;, #quot;y#quot;], rule_id={0}"]
1["1
op=#quot;project#quot;, schema=[#quot;x#quot;, #quot;y#quot;], rule_id={0}"]
2["2
op=#quot;rename#quot;, schema=[#quot;x#quot;, #quot;y#quot;], rule_id={0}"]
3["3
op=#quot;project#quot;, schema=[#quot;x#quot;, #quot;y#quot;], rule_id={0}"]
4["4
op=#quot;project#quot;, schema=[#quot;x#quot;, #quot;y#quot;], rule_id={0}"]
5["5
op=#quot;ie_map#quot;, func=#lt;function rgx at 0x126636ac0#gt;, in_arity=2, out_arity=1, schema=[#quot;col_0#quot;, #quot;col_1#quot;, #quot;col_2#quot;], rule_id={0}, name=#quot;rgx#quot;, in_schema=[#lt;class #quot;str#quot;#gt;, (#lt;class #quot;str#quot;#gt;, #lt;class #quot;spannerlib.span.Span#quot;#gt;)], out_schema=#lt;function span_arity at 0x126769940#gt;"]
6["6
op=#quot;rename#quot;, schema=[#quot;x#quot;, #quot;y#quot;, #quot;z#quot;], rule_id={0}"]
7["7
op=#quot;rename#quot;, schema=[#quot;x#quot;, #quot;y#quot;, #quot;z#quot;], rule_id={0}"]
8["8
op=#quot;project#quot;, schema=[#quot;x#quot;, #quot;y#quot;, #quot;z#quot;], rule_id={0}"]
9["9
op=#quot;join#quot;, schema=[#quot;x#quot;, #quot;y#quot;], rule_id={0}"]
10["10
op=#quot;join#quot;, schema=[#quot;x#quot;, #quot;y#quot;, #quot;z#quot;], rule_id={0}"]
11["11
op=#quot;project#quot;, schema=[#quot;x#quot;, #quot;y#quot;, #quot;z#quot;], rel=#quot;_R_0#quot;, rule_id={0}"]
12["12
op=#quot;rename#quot;, schema=[#quot;x#quot;, #quot;y#quot;, #quot;z#quot;]"]
13["13
op=#quot;project#quot;, schema=[#quot;x#quot;, #quot;y#quot;, #quot;z#quot;]"]
R --> 11
0 --> S
1 --> 0
2 --> T
3 --> 2
4 --> 9
5 --> 4
6 --> 5
7 --> 6
8 --> 7
9 --> 1
9 --> 3
10 --> 9
10 --> 8
11 --> 10
12 --> R
13 --> 12