On the Structure of DFS-Forests on Directed Graphs and the Dynamic Maintenance of DFS on DAG's