CSI/2026-27

Course materials

Slides

• Theory classes: T01 .. T06 (PDF)

  (More slides as classes proceed.)

---

Reference sheet

• PDF - laws of the relational calculus

Practical exercise sheets

• Sheet nr. 1
• Sheet nr. 2
• Case studies:
  • Puzzle by Alcuin of York (alloy) (basic model for the moment)

---

Other

• 29-Oct: Transcript of the chatGPT session in class about proving fact (81) of the slides.

---

Libraries / tools

• Alloy: RelCalc.als - Basic relational taxonomy in Alloy.

• Haskell: RelCalc.hs - Basic relational operators in Haskell (needs Cp.hs).