§ Παραδείγματα από conjunctive queries, SPC και SPJR algebra queries § Φορμαλιστικοί ορισμοί συντακτικού και σημασιολογίας αλγεβρών,
αποδείξεις ισοδυναμίας ανάμεσα σε άλγεβρες § Πιο συγκεκριμένα, λύθηκαν οι ασκήσεις 4.1, 4.8b, 4.10, 4.21, και
συζητήθηκε η 4.11 |