Directed Acyclic Graph Definition