This preview shows page 1. Sign up to view the full content.
Unformatted text preview: implication. Figure 4.23 shows the graphical representation of a portion of direct implications for f = 1 in this example. The complete set of implications resulting from setting f = 1 can be obtained by traversing the graph rooted at node f = 1. Computing the set of all nodes reachable from this root node ²f = 1 ´ (transitive closure on f = 1) would return the set Impl¶f = 1 · . Thus, the complete set of direct implications using the implication graph shown in the figure for f = 1 is: ±²f³ 1 ³ ´³²d³ 1 ³ ´³²e³ 1 ³ ´³²g³ 1 ³ ´³²k³ 1 ³ ´³²j³ 1 ³ ´³²c³ 1 ³ − 1 ´µ...
View Full
Document
 Spring '08
 elbarki

Click to edit the document details