PG schema validation

Recent years have seen property graph databases popularity and demand rising. With great focus in the field put on graph query languages, a variety of existing graph schemas differs substantially in supported features, with upcoming ISO's standard GQL providing limited support for most of them. In this presentation I will show a recent take on designing a rich schema formalism, "PG-schema", and describe my implementation of schema validation against that formalism as my master thesis.