메뉴 건너뛰기




Volumn 46, Issue 2, 2004, Pages 109-117

Automated elicitation of functional dependencies from source codes of database transactions

Author keywords

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

Indexed keywords

AUTOMATION; BINARY CODES; COMPUTER AIDED SOFTWARE ENGINEERING; DATA REDUCTION; PROBLEM SOLVING; REVERSE ENGINEERING; STATISTICAL METHODS;

EID: 0347354833     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(03)00113-7     Document Type: Article
Times cited : (13)

References (19)
  • 2
    • 0348196057 scopus 로고
    • Extracting an entity relationship schema from a relational database through reverse engineering
    • Andersson M. Extracting an entity relationship schema from a relational database through reverse engineering. International Journal of Cooperative Information Systems. 4:(2):1995;259-285.
    • (1995) International Journal of Cooperative Information Systems , vol.4 , Issue.2 , pp. 259-285
    • Andersson, M.1
  • 4
    • 0024737704 scopus 로고
    • Updating derived relations: Detecting irrelevant and autonomously computable updates
    • Blakeley J.A., Coburn N., Larson P. Updating derived relations: detecting irrelevant and autonomously computable updates. ACM Transactions Database Systems. 14:(3):1989;369-400.
    • (1989) ACM Transactions Database Systems , vol.14 , Issue.3 , pp. 369-400
    • Blakeley, J.A.1    Coburn, N.2    Larson, P.3
  • 12
    • 0032027252 scopus 로고    scopus 로고
    • Differential relational calculus for integrity maintanance
    • Orman L.V. Differential relational calculus for integrity maintanance. IEEE Transaction Knowledge and Data Engineering. 10:(2):1998;328-341.
    • (1998) IEEE Transaction Knowledge and Data Engineering , vol.10 , Issue.2 , pp. 328-341
    • Orman, L.V.1
  • 15
    • 0024739089 scopus 로고
    • Automatic verification of database transaction safety
    • Sheard T., Stemple D. Automatic verification of database transaction safety. ACM Transaction Database Systems. 14:(3):1989;322-368.
    • (1989) ACM Transaction Database Systems , vol.14 , Issue.3 , pp. 322-368
    • Sheard, T.1    Stemple, D.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.