Эквивалент MySQL не работает

Question

Я пытаюсь реализовать эквивалентность деления реляционной алгебры в MySQL.

create table tham_gia(
  MaNV int unsigned not null ,
  MaDA int unsigned not null ,
  So_Gio int unsigned not null default 0,
  primary key (MaNV, MaDA)
);

Теперь я хочу найти, какие MaNV во всех MaDA доступно на столе. Это требует деления, которое не поддерживается, поэтому я планирую использовать его эквивалентность, используя 5 примитивных операций в реляционной алгебре, как описано здесь: https://en.wikipedia.org/wiki/Relational_algebra Деление (÷)

Деление - это двоичная операция, которая записывается как R ÷ S, Результат состоит из ограничений кортежей в R к именам атрибутов, уникальным для Rв заголовке R но не в заголовке S, для которого он считает, что все их комбинации с кортежами в S присутствуют в R,

Для примера смотрите таблицы Completed, DBProject и их разделение:

Completed Student   Task
Fred    Database1
Fred    Database2
Fred    Compiler1
Eugene  Database1
Eugene  Compiler1
Sarah   Database1
Sarah   Database2

DBProject Task
Database1
Database2

Completed ÷ DBProject Student
Fred
Sarah

If DBProject contains all the tasks of the Database project, then the result of the division above contains exactly the students who have completed both of the tasks in the Database project.

More formally the semantics of the division is defined as follows:

    R ÷ S = { t[a1,...,an] : t \in R \wedge \foralls \in S ( (t[a1,...,an] \cup s) \in R) }

where {a1,...,an} is the set of attribute names unique to R and t[a1,...,an] is the restriction of t to this set. It is usually required that the attribute names in the header of S are a subset of those of R because otherwise the result of the operation will always be empty.

The simulation of the division with the basic operations is as follows. We assume that a1,...,an are the attribute names unique to R and b1,...,bm are the attribute names of S. In the first step we project R on its unique attribute names and construct all combinations with tuples in S:

    T := πa1,...,an(R) × S

In the prior example, T would represent a table such that every Student (because Student is the unique key / attribute of the Completed table) is combined with every given Task. So Eugene, for instance, would have two rows, Eugene -> Database1 and Eugene -> Database2 in T.

In the next step we subtract R from T relation:

    U := T − R

Note that in U we have the possible combinations that "could have" been in R, but weren't. So if we now take the projection on the attribute names unique to R then we have the restrictions of the tuples in R for which not all combinations with tuples in S were present in R:

    V := πa1,...,an(U)

So what remains to be done is take the projection of R on its unique attribute names and subtract those in V:

    W := πa1,...,an(R) − V

Вот мой код:

select MaNV as EmpCode1
from tham_gia 
where EmpCode1 not in(
    select MaNV as EmpCode  
    from (  
        select MaNV as ECode, MaDA as PrCode
        from (
            select MaNV as E1Code
            from tham_gia) 
        cross join (
            select MaDA as Pr1Code
            from tham_gia)

        where ECode, PrCode not in(
            select MaNV as E2Code, MaDA as Pr2Code
            from tham_gia) 
        )  
    ) ; 

Но это не сработало! Пожалуйста, помогите мне, большое спасибо!

Answer 1

На самом деле tham_gia является своего рода псевдонимом для участия, MaNV для EmpCode и MaDA для PrjCode(код проекта). По сути, я хочу найти всех сотрудников, которые участвуют во всех доступных проектах в "Участвовать" (извините за странный псевдоним, ребята!) Я только что нашел ответ по этой ссылке: https://faculty.utpa.edu/lianx/old_courses/CSCI4333_2014fall/MySQL-set-operators.pdf По сути, он использовал тот же принцип, что и я, но гораздо менее очевиден (у него есть таблица "a" со столбцом "x,y", таблица "b" со столбцом "x", он хочет разделить a на b):

SELECT DISTINCT c1.y AS y 
FROM c c1 
WHERE NOT EXISTS 
 (SELECT d.x FROM d  
  WHERE d.x NOT IN (SELECT c2.x FROM c c2 WHERE c2.y = c1.y));

Исходя из этого, я сделал несколько модификаций:

select Par1.EmpCode
from Participate as Par1
where not exists (
    select Par2.PrjCode
    from Participate as Par2
    where Par2.PrjCode not in (
        select Par3.PrjCode
        from Participate as Par3
        where Par3.EmpCode = Par1.EmpCode));

И это сработало! Спасибо, в любом случае:)