Teoria baz danych wyjaśnia różne mechanizmy systemów bazodanowych, albo tłumaczy brak takich mechanizmów. Całkiem sporo pracy różni zdolni ludzie włożyli w powstanie tej teorii. I to co stworzyli jest porządnym kawałkiem matematycznej informatyki, pełnym fajnych twierdzeń. Ale ma jedną poważną słabość.
Otóż cała ta teoria opiera się na modelu w którym systemy bazodanowe operują na relacjach, czyli zbiorach krotek.
A bardziej realistyczny (nie zawsze, ale często) byłby model w którym mamy do czynienia z multizbiorami krotek.
Okazuje się że taka, drobna niby, zmiana modelu kompletnie wywraca całą pracowicie zbudowaną teorię:
w modelu multizbiorowym diabli biorą wszystkie wyniki i wszystkie techniki które wymyślono dla modelu czysto relacyjnego.
Są oczywiście pewne próby zbudowania nowej teorii. Ale to nie jest łatwe. Wszystko się robi bardzo skomplikowane. Pojawia się jakaś męcząca algebra i jakaś dziwna kombinatoryka.
Plan jest taki, żeby się przyjrzeć niektórym takim próbom. I (kto wie?) może spróbować coś powymyślać samemu?
