Automated elicitation of inclusion dependencies from the source code for database transactions

Journal of Software Maintenance and Evolution

Volumn 15, Issue 6, 2003, Pages 379-392

  Tan, Hee Beng Kuan ^a   Zhao, Yuan ^a  

^a NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

Author keywords

Database reverse engineering; Design recovery; Inclusion dependency; Program analysis; Software verification

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATABASE SYSTEMS; REVERSE ENGINEERING; SOFTWARE ENGINEERING;

INCLUSION DEPENDENCY; PROGRAM ANALYSIS; SOFTWARE VERIFICATION;

COMPUTER SOFTWARE MAINTENANCE;

EID: 0345764968     PISSN: 1532060X     EISSN: None     Source Type: Journal    
DOI: 10.1002/smr.290     Document Type: Article

References (20)

1. Melton J, Simon AR. SQL 1999: Understanding Relational Language Components. Morgan Kaufmann: San Francisco CA, 2001; 928.
2. Henrard J, Hainaut J-L. Data dependency elicitation in database reverse engineering. Proceedings European Conference on Software Maintenance and Reengineering (CSMR 2001). IEEE Computer Society: Los Alamitos CA, 2001; 11-19.
3. Muchnick SS, Jones ND (eds.). Program Flow Analysis: Theory and Applications. Prentice-Hall: Englewood Cliffs NJ, 1981; 418.
4. Wilhelm R, Maurer D. Compiler Design. Addison-Wesley: Cornwall, UK, 1995; 606.
5. Casanova MA, Fagin R, Papadimitriou CH. Inclusion dependencies and their interaction with functional dependencies. Journal of Computer and System Sciences 1984; 28(1):29-59.
6. Maier D. The Theory of Relational Databases. Computer Science Press: Rockville MD, 1982; 637.
7. Weiser M. Program slicing. IEEE Transactions on Software Engineering 1984; 10(4):352-357.
8. Gravetter FJ, Wallnau LB. Statistics for the Behavioral Sciences. Wadsworth: Belmont CA, 2000; 751.
9. Blakeley JA, Coburn N, Larson P. Updating derived relations: detecting irrelevant and autonomously computable updates. ACM Transactions on Database Systems 1989; 14(3):369-400.
10. Orman LV. Differential relational calculus for integrity maintenance. IEEE Transactions on Knowledge and Data Engineering 1998; 10(2):328-341.
11. Sheard T, Stemple D. Automatic verification of database transaction safety. ACM Transactions on Database Systems 1989; 14(3):322-368.
12. Agrawal R, Imielinski T, Swami A. Database mining: a performance perspective. IEEE Transactions on Knowledge and Data Engineering 1993; 5(6):914-925.
13. Anderson M. Extracting an entity relationship schema from a relational database through reverse engineering. Proceedings International Conference on Entity-Relationship Approach (ER 1994). Springer: Heidelberg, 1994; 403-419.
14. Anwar TM, Beck HW, Navathe SB. Knowledge mining by imprecise querying: A classification-based approach. Proceedings IEEE Conference on Data Engineering (ICDE 1992). IEEE Computer Society: Los Alamitos CA, 1992; 622-630.
15. Hainaut J-L, Englebert V, Henrard J, Hick J-M, Roland D. Requirements for information system reverse engineering support. Proceedings IEEE Working Conference on Reverse Engineering (WCRE 1995). IEEE Computer Society: Los Alamitos CA, 1995; 136-145.
16. Kantola M, Mannila H, Raiha K, Siirtola H. Discovery functional and inclusion dependencies in relational databases. International Journal of Intelligent Systems 1992, 7:591-607.
17. Petit J-M, Kouloumdjian J, Boulicaut J-F, Toumani F. Using queries to improve database reverse engineering. Proceedings International Conference on Entity-Relationship Approach (ER 1994). Springer: Heidelberg, 1994; 369-386.
18. Piatetsky-Shapiro G, Frawley WJ (ed.). Knowledge Discovery in Databases. AAAI/MIT Press: Cambridge MA, 1991; 525.
19. Signore O, Loffredo M, Gregori M, Cima M. Reconstruction of ER schema from database applications: A cognitive approach. Proceedings International Conference on Entity-Relationship Approach (ER 1994). Springer: Heidelberg, 1994; 387-402.
20. Tan HBK, Ling TW. A method for the recovery of inclusion dependencies from data-intensive business programs. Information and Software Technology 1997; 39(1):27-34.