PG-Schema: Schemas for Property Graphs
A formalism for specifying property graph schemas with flexible type definitions and expressive constraints.
The authors propose PG-Schema, a simple yet powerful formalism for specifying property graph schemas. It features flexible type definitions supporting multi-inheritance and expressive constraints based on the recently proposed PG-Keys formalism. The paper provides the formal syntax and semantics of PG-Schema, meeting principled design requirements grounded in contemporary property graph management scenarios.
Based on: PG-Schema: Schemas for Property Graphs · Proceedings of the ACM on Management of Data