컴공 전공자들도 맨날 헷갈려 한다는 두 글자 차이 대수학 개념 둘

요약 "관계 대수"로 번역되는 영문 용어 'Relation algebra'와 'Relational algebra'는 철자가 딱 두 글자(al)밖에 차이 나지 않지만, 실제로는 완전히 다른 개념이라는 컴퓨터 과학자의 지적이 화제를 모았습니다. 위키피디아 문서나 유명 데이터베이스 인플루언서들조차 두 개념을 수시로 혼동할 정도입니다. 컴퓨터 과학이나 데이터베이스를 전공한 사람들에게 친숙한 것은 에드가 F. 커드(Ted Codd)가 1970년에 고안한 '관계형 대수(Relational algebra)'입니다. 이는 오늘날 관계형 데이터베이스(RDB)의 근간을 이루며, 1차 술어 논리의 특정 부분 집합과 동등하다는 '커드의 정리'로 잘 알려져 있습니다. 반면 '관계 대수(Relation algebra)'는 수리논리학과 순수 수학의 영역에서 공리계로 정의된 대수 구조로, 변수를 최대 3개까지만 사용하는 1차 논리 체계(FOL³)와 동등한 성격을 띱니다. 글쓴이는 관계 대수가 수학 이론에만 머물지 않고 컴퓨터 과학과 소프트웨어 명세 도구(Alloy 분석기 등), 심지어 데이터베이스 이론에도 꾸준히 연구·적용되어 왔다고 설명합니다. 특히 타르스키(Alfred Tarski)가 "지적 즐거움의 원천"이라 극찬했던 이 매력적인 수학 구조가 데이터베이스의 관계형 대수와 계속 혼동되는 것을 막기 위해, 앞으로는 '타르스키의 관계 대수(TAR, Tarski's Algebra of Relations)'라고 구분해 부르자는 제안을 내놓았습니다.