Data Model데이터 모델은 데이터 추상화를 위해 structure, operation, constraints를 제공한다.structure (구조)데이터베이스의 구조operation (동작)데이터베이스의 구조를 조작하는 동작constraints (제약)데이터베이스가 따라야만 하는 제약데이터가 유효한지에 대해 확인 Categories of Data ModelsConceptual data modelshigh-level(사람이 이해하기 쉽고)이고, semantic, 즉 데이터 모델이 데이터의 의미(entity, attribute, relationship)를 제공한다는 뜻이다.주로 데이터의 의미와 논리적인 구조에 초점을 맞추고 사용자가 데이터를 이해하고 상호작용할 수 있도록 돕는 구조를 제공한다.Physic..

루프 불변성이란?루프 불변성(loop invariant)은 어떤 알고리즘이 잘 동작하는지 증명하기 위해 사용된다.루프 불변성의 단계루프 불변성은 세가지 단계로 이루어진다.1. 초기조건(Initialization)첫 번째 루프가 시작하기 전 루프 불변성이 참이어야 한다.2. 유지조건(Maintenance)루프의 시작 전 루프 불변성이 참이었다면, 그다음 반복에서도 참이 유지되어야 한다.3. 종료조건(Termination)루프가 종료되면 불변량은 알고리즘이 옳다는 것을 보여주는 데 도움이 되는 유용한 속성을 제공해야 한다.한번 예시로 알아보자삽입 정렬_list = [4, 7, 1, 5, 2, 8, 3, 6]def INSERTION_SORT(A): for j in range(1, len(A)): ..