Section outline

  • Wykład 2. Relacyjny rachunek krotek (rrk), relacyjny rachunek dziedzin (rrd). Formuły bezpieczne. Niezależność od dziedziny. Twierdzenie Codda.