Trawling

최신기사

AI, 개발 도구, 오픈소스, 보안과 인프라의 변화와 이용 조건을 설명하는 최신 기사와 해설입니다.

발행

관계 대수는 관계형 대수가 아닙니다

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