관계 대수는 관계형 대수가 아닙니다
데이터베이스의 relational algebra와 논리학·수학의 relation algebra는 이름만 비슷할 뿐 서로 다른 체계입니다. 글은 두 대수의 기원과 표현력, Alloy·Prela 같은 컴퓨터과학의 활용 사례를 설명하고 혼동을 피하려고 relation algebra를 TAR라고 부르자고 제안합니다.
데이터베이스의 relational algebra와 논리학·수학의 relation algebra는 이름만 비슷할 뿐 서로 다른 체계입니다. 글은 두 대수의 기원과 표현력, Alloy·Prela 같은 컴퓨터과학의 활용 사례를 설명하고 혼동을 피하려고 relation algebra를 TAR라고 부르자고 제안합니다.