Podrobné odvozeni konceptuálního a datového modelu knihovny včetně FRBR.
Odvození základních principů SQL.
Modely dotazování v teoretické rovině.
Souvislost s predikátovou logikou