Functional Dependencies for Graphs
Map-reduce extensions and recursive queries