CZIPO BENCE

Deterministic semantic for graph property update queries and its efficient implementation