Declarative graph querying in practice and theory
PGQL: a property graph query language