– Q1 = Practice ./ δd name7→d’ name(Practice)
– Q2 = Q1 − σd name=d’ name(Q1)
– Q3 = πclass,time(Practice) − πclass,time(Q2)
– Q4 = Q3 ./ Session
– Q = πinstructor(Q4)
特别是Q1的δ和箭头分别代表什么?查了书上没找到这个符号
– Q1 = Practice ./ δd name7→d’ name(Practice)
– Q2 = Q1 − σd name=d’ name(Q1)
– Q3 = πclass,time(Practice) − πclass,time(Q2)
– Q4 = Q3 ./ Session
– Q = πinstructor(Q4)
特别是Q1的δ和箭头分别代表什么?查了书上没找到这个符号