Databases Reference
In-Depth Information
A
B
C
D
A
B
C
D
A
0
0
0
2
1
1
1
2
A
B
0
2
0
0
2
2
0
0
B
0
0
2
0
C
C
2
0
2
0
0
0
0
2
D
D
2
0
0
2
(a) Initial
(b) A BCACBDC
A
B
C
D
A
B
C
D
2
0
1
1
A
A
2
0
2
2
B
2
2
1
1
B
2
2
2
2
C
2
2
2
0
C
2
2
2
2
D
2
2
0
2
D
2
2
2
2
(c) A B CACBDC
(d) Final
FIGURE 8.7: Inferring Alternating properties from a hypothetical trace
ABCACBDC.
 
Previous Page
Next Page
Mining Software Specifications: Methodologies and Applications
Search WWH ::




Custom Search
Home