Transcript 트랜잭션 기반 데이터베이스 응용프로그램의 안전성 자동 검증