관계 대수학 은 관계형 데이터베이스에 저장된 데이터와 해당 데이터에 액세스하는 데 사용되는 쿼리 언어를 설명하는 특별한 형태의 대수입니다. IBM의 EF Codd가 처음 개발했으며 1970 년에 공식적으로 도입되었습니다. Codd의 작업은 SQL 및 MySQL과 같은 데이터베이스 쿼리 언어의 기초가되었습니다.

다섯 가지 기본 연산자

• 집합 합 (∪) - 여러 개의 데이터 집합, 예를 들어 두 집합 B와 C가 주어지면 집합 B∪C의 집합은 집합의 일부 또는 전체 집합에 나타나는 데이터입니다.
• 차 집합 (∖) - 데이터 B와 C의 두 세트가 주어지면 집합 B ∖ C의 차이는 C에 표시되지만 B에는 나타나지 않는 데이터입니다.
• 데카르트 곱 (×) - 두 세트의 데이터 B와 C가 주어지면, 데카르트 곱 B × C는 모든 순서쌍 (b, c)의 집합이며, b는 B의 멤버이고 c는 C의 멤버입니다.
• 선택 (σ) - 논리 연산자와 (∧) 또는 (∨)을 사용하고 Â ()이 아닌 공식 B를 사용합니다. σφ (B)를 선택하면 B의 모든 구성원이 수식 φ가 참이됩니다. 예를 들어, φ가 명제 공식 gender = female ∨ (eyeColor = Blue ∧ eyeColor = Hazel)이라고 가정 합니다. σφ (친구)를 선택하면 여성이고 푸른 색 또는 적갈색 눈을 가진 모든 친구가 포함 된 집합이됩니다.
• 투영 (π) - 데이터 B 와 속성 세트 a1, a2 ...가 주어지면 투영 πa1, a2 ... (R) 은 a1, a2 ... 속성으로 제한된 B 의 모든 멤버 집합입니다. 예를 들어, πfullName, phoneNumber (addressBook) 프로젝션은 fullName 및 phoneNumber 특성을 가진 addressBook 의 구성원 만 포함하는 집합이됩니다.

멱등수, 언어, 운영자, 프로그래밍 용어