1. David Lo Siau-Cheng Khoo Chao Liu DASFAA 2008 Efficient Mining of Recurrent Rules from a Sequence Database 1

2. Outline 2 Introduction Preliminaries Generation of Recurrent Rules Algorithm Performance Evaluation Conclusion

3. Introduction 3 Mining for knowledge from data has been shown useful for many purposes ranging from finance, advertising, bio- informatics and recently software engineering. “ Whenever a series of precedent events occurs, eventually another series of consequent events occurs ”

4. Introduction 4 1. Resource Locking Protocol: Whenever a lock is acquired, eventually it is released. 2. Internet Banking: Whenever a connection to a bank server is made and an authentication is completed and money transfer command is issued, eventually money is transferred and a receipt is displayed. 3. Network Protocol: Whenever an HDLC connection is made and an acknowledgement is received, eventually a disconnection message is sent and an acknowledgement is received.

5. Preliminaries 5 Linear-time Temporal Logic (LTL) ‘G’ specifies that globally at every point in time a certain property holds. ‘F’ specifies that a property holds either at that point in time or finally (eventually) it holds. ‘X’ specifies that a property holds at the next event.

6. Preliminaries 6

7. 7 Checking/Verifying LTL Expressions. (main, lock) → (unlock, end) (main, lock, use) → (unlock, end)

8. Generation of Recurrent Rules 8 Concepts and Definitions

9. Generation of Recurrent Rules 9 Concepts and Definitions

10. Generation of Recurrent Rules 10 Concepts and Definitions

11. Generation of Recurrent Rules 11 Concepts and Definitions

12. Generation of Recurrent Rules 12 Concepts and Definitions

13. Generation of Recurrent Rules 13 Concepts and Definitions s-support:2 i-support:2 confidence:1

14. Generation of Recurrent Rules 14 Concepts and Definitions

15. Generation of Recurrent Rules 15 Concepts and Definitions s-support:2 i-support:2 confidence:1

16. Generation of Recurrent Rules 16 Apriori Properties and Non-redundancy

17. Generation of Recurrent Rules 17 Apriori Properties and Non-redundancy

18. Generation of Recurrent Rules 18 Apriori Properties and Non-redundancy

19. Algorithm 19

20. Performance Evaluation 20

21. Conclusion 21