DAG Dependency and Ancestor Trace