A Graph Database with Unary Converse Propositional Dynamic Logic as Query Language