컴파일러 기반의 무결성 제약조건 확인 기법

초록

본 논문은 컴파일 시간에 제약조건 확인 코드를 응용 프로그램에 미리 삽입할 것을 제안하였다. 응용 프로그램 자체 내에 제약조건 확인 코드가 삽입되기 때문에 실행 시간에 다른 시스템의 제어를 받지 않고 직접 제약 조건의 확인 및 데이터베이스의 접근이 가능해져서 처리 시간의 지연을 피할 수 있을 것이다.