Będziemy się zajmowali bardziej niż dotąd realistycznym modelowaniem odpowiadania na zapytania SQL-owe.
To znaczy będziemy pytać nie tylko CZY ZAPYTANIE JEST SPEŁNIONE ale też ILE RAZY JEST SPEŁNIONE. Okazuje się
że od tego pytania bardzo jest blisko do badań które od dziesiątków lat prowadzą sławni matematycy (pojawią się
nazwiska takie jak Erdos i Lovasz).
Przeczytamy parę dość trudnych prac. Pierwszych kilka tygodni zajmie Piotr Ostropolski-Nalewaja i Jarek Kwiecień
(mają już zaplanowane jakieś lektury) a pozostali uczestnicy będą mieli dzięki temu czas się wciągnąć. A potem zobaczymy.
Seminarium będzie się odbywało on-line, przez cały semsetr.
