On the distributed evaluation of recursive queries over graphs

Stephane Grumbach, Fang Wang, Zhilin Wu

Logical formalisms such as first-order logic (FO) and fixpoint logic (FP) are well suited to express in a declarative manner fundamental graph functionalities required in distribut…