I like Serena
Science Advisor
Homework Helper
MHB
- 16,335
- 258
Doesn't the $k.KUNDNR$ only apply to the first half to the expression?mathmari said:Should it maybe be as follows?
\begin{align*}\{(k.KUNDNR) &\mid \left [\text{KUNDE}(k) \land \forall a(AUFTRAG(a) \land k.KUNDNR\neq a.KUNDNR)\right ] \\ & \lor\left [ \exists a \ AUFTRAG(a) \land \forall k\ KUNDE(k)\
(k.KUNDNR\neq a. KUNDNR)\right ] \}\end{align*}
The second half has a $\forall k$, so it does not tie to any particular $k.KUNDNR$ does it? (Worried)