First page Back Continue Last page Graphics


Notes:

4. scope fout
5. onzinnig: als er meer dan 1 bier in de database is is het antwoord altijd leeg
6. conjunctie moet implicatie zijn
7. weer conjunctie in plaats van implicatie, en k[b] kan niet want de variabele k is niet geintroduceerd.
8. dit is geen tupel calculus syntax