1. Queries데이터와 데이터 스키마를 분명히 분리해주는 강력하고 정교한 query language가 필요2. Integrity일관되고 유효한 데이터만을 저장하기 위해 제약 사항(constraint)을 강제(enforce)하는 것이 필요3. Update데이터를 일관되게 조작하기 위한 방법이 필요4. Multiple users다중 reader, writer를 지원해야 함5. Crashes시스템 충돌이나 오류 발생 시 commit과 rollback 같은 기능을 통해 데이터 일관성을 유지할 수 있어야 함6. Data physically separate데이터의 물리적 분리를 통해 각 유저나 데이터 항목이 고유하게 존재하고, 참조 무결성(referential integrity)을 유지할 수 있어야 함7. Se..

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)): ..