职工表 EMP(E#,ENAME,AGE,SEX,ECITY),其属性分别表示职工工号、姓名、年龄、性别和籍贯。工作表 WORKS(E#,C#,SALARY),其属性分别表示职工工号、工作的公司编号和工资。公司表 COMP(C#,CNAME,CITY),其属性分别表示公司编号、公司名称和公司所在城市。检索工资超过1000元的男性职工的工号和姓名。用关系代数表示为( )
A. ∏E
B. ,Ename(σsalary>1000 ∧ sex =‘男’(EMP∞WORK))
C. ∏E
D. ,Ename(σsalary>1000 ∧ sex =‘男’(COMP∞WORK))
E. ∏E
F. ,Ename(σsalary>1000 ∧ sex =‘男’(EMP∞COMP))
G. ∏E
H. ,Ename(σsalary>1000(EMP) ∧ sex =‘男’(WORK))
微信支付 
支付宝支付