PG-Schema: schemas for property graphs
Renzo Angles
(1)
,
Angela Bonifati
(2, 3, 4)
,
Stefania Dumbrava
(5, 6, 7, 8)
,
George Fletcher
(9)
,
Alastair Green
(10)
,
Jan Hidders
(11)
,
Bei Li
(12)
,
Leonid Libkin
(13, 14)
,
Victor Marsault
(15)
,
Wim Martens
(16)
,
Filip Murlak
(17)
,
Stefan Plantikow
(10)
,
Ognjen Savkovic
(18)
,
Michael Schmidt
(19)
,
Juan Sequeda
(20)
,
Slawek Staworko
(21)
,
Dominik Tomaszuk
(22)
,
Hannes Voigt
(10)
,
Domagoj Vrgoč
(22)
,
Mingxi Wu
(23)
,
Dusan Zivkovic
(24)
1
Universidad de Talca
2 UCBL - Université Claude Bernard Lyon 1
3 BD - Base de Données
4 LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
5 IP Paris - Institut Polytechnique de Paris
6 TSP - INF - Département Informatique
7 ACMES-SAMOVAR - Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing
8 ENSIIE - Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise
9 TU/e - Eindhoven University of Technology [Eindhoven]
10 Neo4j
11 Birkbeck College [University of London]
12 Shenzhen Univerisity [Shenzhen]
13 VALDA - Value from Data
14 Edin. - University of Edinburgh
15 LIGM - Laboratoire d'Informatique Gaspard-Monge
16 Universität Bayreuth [Deutschland] = University of Bayreuth [Germany] = Université de Bayreuth [Allemagne]
17 UW - University of Warsaw
18 Free University of Bozen-Bolzano
19 ISU - Iowa State University
20 data.world
21 CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
22 University of Bialystok
23 TigerGraph
24 Integral Data Solutions
2 UCBL - Université Claude Bernard Lyon 1
3 BD - Base de Données
4 LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
5 IP Paris - Institut Polytechnique de Paris
6 TSP - INF - Département Informatique
7 ACMES-SAMOVAR - Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing
8 ENSIIE - Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise
9 TU/e - Eindhoven University of Technology [Eindhoven]
10 Neo4j
11 Birkbeck College [University of London]
12 Shenzhen Univerisity [Shenzhen]
13 VALDA - Value from Data
14 Edin. - University of Edinburgh
15 LIGM - Laboratoire d'Informatique Gaspard-Monge
16 Universität Bayreuth [Deutschland] = University of Bayreuth [Germany] = Université de Bayreuth [Allemagne]
17 UW - University of Warsaw
18 Free University of Bozen-Bolzano
19 ISU - Iowa State University
20 data.world
21 CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
22 University of Bialystok
23 TigerGraph
24 Integral Data Solutions
Angela Bonifati
- Fonction : Auteur
- PersonId : 4999
- IdHAL : angela-bonifati
- ORCID : 0000-0002-9582-869X
- IdRef : 169046664
Stefania Dumbrava
- Fonction : Auteur
- PersonId : 170187
- IdHAL : stefania-dumbrava
- ORCID : 0000-0002-6664-0620
- IdRef : 198185553
George Fletcher
- Fonction : Auteur
- PersonId : 1289184
- ORCID : 0000-0003-2111-6769
Jan Hidders
- Fonction : Auteur
- PersonId : 1289186
- ORCID : 0000-0002-8865-4329
Bei Li
- Fonction : Auteur
- PersonId : 1289187
- ORCID : 0009-0002-8102-978X
Victor Marsault
- Fonction : Auteur
- PersonId : 6959
- IdHAL : marsault
- ORCID : 0000-0002-2325-6004
Wim Martens
- Fonction : Auteur
- PersonId : 1289188
- ORCID : 0000-0001-9480-3522
Ognjen Savkovic
- Fonction : Auteur
- PersonId : 1289191
- ORCID : 0000-0002-9141-3008
Michael Schmidt
- Fonction : Auteur
- PersonId : 1289192
- ORCID : 0009-0002-3292-0349
Slawek Staworko
- Fonction : Auteur
- PersonId : 5221
- IdHAL : staworko
- ORCID : 0000-0003-3684-3395
- IdRef : 169337472
Dominik Tomaszuk
- Fonction : Auteur
- PersonId : 1289194
- ORCID : 0000-0003-1806-067X
Domagoj Vrgoč
- Fonction : Auteur
- PersonId : 1289196
- ORCID : 0000-0001-5854-2652
Dusan Zivkovic
- Fonction : Auteur
- PersonId : 1289198
- ORCID : 0009-0003-4658-3774
Résumé
Property graphs have reached a high level of maturity, witnessed by multiple robust graph database systems as well as the ongoing ISO standardization effort aiming at creating a new standard Graph Query Language (GQL). Yet, despite documented demand, schema support is limited both in existing systems and in the first version of the GQL Standard. It is anticipated that the second version of the GQL Standard will include a rich DDL. Aiming to inspire the development of GQL and enhance the capabilities of graph database systems, we propose PG-Schema, a simple yet powerful formalism for specifying property graph schemas. It features PG-Schema with flexible type definitions supporting multi-inheritance, as well as expressive constraints based on the recently proposed PG-Keys formalism. We provide the formal syntax and semantics of PG-Schema, which meet principled design requirements grounded in contemporary property graph management scenarios, and offer a detailed comparison of its features with those of existing schema languages and graph database systems.