1

Testing Graph Database Systems via Equivalent Query Rewriting