(psymbols3(DDi) ∪psymbols(SRSi)) ∩ (psymbols(DDj) ∪psymbols(SRSj)) = X, where X ⊆ CONL. This way, dependencies, that surpass the knowledge of local ...
確定! 回上一頁