https://123dok.net/document/zgw346l7-formalism-graph-databases-model-computation.html