Section outline

  • Wykład 3. i 4.

    1. Semantyka logiki pierwszego rzędu (rrd/rrk).
    2. Problemy ewaluacji, równoważności oraz zawierania zapytań.
    3. Zapytania koniunkcyjne, izomorfizm, homomorfizm.

    na podstawie wykładu Phokiona Kolaitisa: Relational Databases, Logic, and Complexity, slajdy:  pdf

    Notatka z wykładu 3. - pdf