设学生选课关系模式为SC(Sno，Cno，Grade)，其中Sno为学号，Cno为课程号，Grade为成绩，SQL查询语句如下：
SELECT Sno
FROM SC SCX
WHERE NOT EXISTS
(SELECT *
FROM SC SCY
WHERE SCY.Sno=’1042’ AND NOT EXISTS
(SELECT *
FROM SC SCZ
WHERE SCZ.Sno=SCX.Sno AND SCZ.Cno=SCY.Cno));
与该查询等价的元组演算表达式为t| (54) (Sc(u)∧SC(v)∧ (55) ∧t[1] =u[1])。

按《输变电工程建设标准强制性条文实施管理规程》规定，建筑工程应分为几个抗震设防类别，简称分别是什么？