22.9DBJun 4
Validation of graph databases against PG-SchemaJacek Ciszewski, Jakub Kłos, Maxime Jakubowski et al.
The problem of validating a given graph database instance against a given PG-Schema graph type without integrity constraints is NP- complete in terms of combined complexity and in PTIME in terms of data complexity. The combined complexity drops to PTIME when the alternation between type combinations and unions is suitably restricted