S(u)∧SC(v)∧C(w);u[]=v[]∧v[]=w[]∧t[]=u[];w[]=’数据库原理与应用’;t[]=u[]