查询中的关系代数，想找到我需要的信息但不确定我做对了
relational algebra in query, want find the info I need but not sure I did right
EMPLOYEE (fmane, minit, lname, ssn, birthdate, address, sex, salary, superssn, dno); KEY: ssn
DEPARTMENT (dname, dnumber, mgrssn, mgrstartdate); KEY: dnumber.
PROJECT (pname, pnumber, plocation, dnum); KEY: pnumber.
WORKS_ON (essn, pno, hours); KEY: (essn, pno)
DEPENDENT (essn, dependent-name, sex, bdate, relationship); KEY: (essn, dependent-name)
我想使用关系代数来获取以下信息：
请给出在迈阿密的每个项目中工作的女性经理的姓氏。
到目前为止，我的逻辑是这样的：
σ公司⋈员工lname地点='miami'
我真的卡住了
部门确定经理。内部加入 Employee 并只找到女性。
内部加入 Works_On。内部加入 Project 以获取迈阿密的项目列表和过滤器。
现在是迈阿密部分。查看以上位置的不同计数（每个员工）是否与 Project 中所有迈阿密位置的计数相匹配。
我实际上不知道如何用关系代数表达它，尽管我知道它很简单，除了最后一部分。
EMPLOYEE (fmane, minit, lname, ssn, birthdate, address, sex, salary, superssn, dno); KEY: ssn
DEPARTMENT (dname, dnumber, mgrssn, mgrstartdate); KEY: dnumber.
PROJECT (pname, pnumber, plocation, dnum); KEY: pnumber.
WORKS_ON (essn, pno, hours); KEY: (essn, pno)
DEPENDENT (essn, dependent-name, sex, bdate, relationship); KEY: (essn, dependent-name)
我想使用关系代数来获取以下信息：
请给出在迈阿密的每个项目中工作的女性经理的姓氏。
到目前为止，我的逻辑是这样的：
σ公司⋈员工lname地点='miami'
我真的卡住了
部门确定经理。内部加入 Employee 并只找到女性。 内部加入 Works_On。内部加入 Project 以获取迈阿密的项目列表和过滤器。
现在是迈阿密部分。查看以上位置的不同计数（每个员工）是否与 Project 中所有迈阿密位置的计数相匹配。
我实际上不知道如何用关系代数表达它，尽管我知道它很简单，除了最后一部分。