123

제1~5정규화 과정

같은 테스트 코드를 여러번 작성하지 않고 도와주고, 테스트 마다 예상 결과를 기억할 필요가 없게 하는 자동화된 해법을 제공하는 단위 테스트 프레임워크

모듈이나 컴포넌트에 초점을 맞춰 테스트

결정 검증 기준과 조건 검증 기준을 모두 만족한 설계

어떤 모듈이 다른 모듈 내부의 논리적인 흐름을 제어하기위해 제어 신호나 제어 요소를 전달하는 결합도

데이터 개체를 구성하고 있는 속성들에 데이터 타입이 정의되어 구체적인 값을 가진 것

동일한 입력과 출력을 사용하여 서로 다른 기능을 수행하는 구성 요소들이 모였을 경우 응집도

주어진 릴레이션에서 속성 리스트에 제시된 속성 값만을 추출하여 새로운 릴레이션을 만드는 연산, 수직연산

다른 릴레이션의 기본키를 참조하는 속성 또는 속성들의 집합

X⊃Y인 두개의 릴레이션 R(X)와 S(Y)가 있을때 R의 속성이 S의 속성값을 모두 가진 튜플에서 S가 가진 속성을 제외한 속성만을 구하는 연산