aajin126's devlog

편의를 위해 유도된 연산자 디비전 연산자 차수가 n+m인 릴레이션 R(A1, … , An , B1, … , Bm) 과 차수가 m인 릴레이션 S( B1, B2, … , Bm)의 디비전 (R ÷ S)는 차수가 n이고, S에 속하는 모든 투플 u에 대하여 투플 tu(투플 t와 투플 u를 결합한 것)가 R에 존재하는 투플 t들의 집합. (위의 두번째 예시에서 b2와 b4가 모두 있는 an만 결과 릴레이션에 포함될 수 있음) 관계 대수의 한계 관계 대수는 산술 연산을 할 수 없다. 집단 함수(max, min,avg, sum 등)를 지원하지 않는다. 정렬(sorting)을 나타낼 수 없다. 조회만 가능하여 데이터 베이스를 수정할 수 없다. 무조건 중복을 제거하다 보니 중복된 투플을 나타내는 것이 필요할 때 이를 명..