PG schema validation

W ostatnich latach można zaobserwować wzrost popularności i popytu na grafowe bazy danych. Ponieważ duży nacisk w tej dziedzinie położono na języki zapytań grafowych, rozmaite istniejące schematy grafów różnią się znacznie pod względem możliwości i siły wyrazu, a nadchodzący standard organizacji ISO - GQL - zapewnia wsparcie tylko niektórych z nich. W prezentacji pokażę podejście do projektowania formalizmu schematu opisanego w pracy „PG-schema”, oraz opiszę implementację walidacji schematu w tym formalizmie  ako tematu mojej pracy magisterskiej.