  The present paper upgrades the logical model required to exploit materialized
views over property graphs as intended in the seminal paper "A Join Operator
for Property Graphs". Furthermore, we provide some computational complexity
proofs strengthening the contribution of a forthcoming graph equi-join
algorithm proposed in a recently accepted paper.
