FK and lookup join evaluation done completely in datalog.