[일반] 혹 여기에 SQL 다뤄본 수붕이 있음?

[익명(42.82)]

이거 기반 수학 이론이 뭐지

일단 집합론이랑 1차논리는 들어가는 것 같은데

[익명(121.166)]

수붕이는 아니고 컴붕인데 뭐가 궁금한거임? 기반수학이론이라는게 뭘말하는건지 모르겠네
파싱 쪽이 궁금한거면 오토마타 같은거 찾아보면 될거고
파싱된걸 어떻게 실행하는지가 궁금하면 PL쪽 찾아보면 될거임
http://ropas.snu.ac.kr/~kwang/pl-book-draft.pdf
꼭 SQL에 한정된 건 아니지만

[익명(223.39)]

https://ko.m.wikipedia.org/wiki/%EA%B4%80%EA%B3%84%EB%8C%80%EC%88%98
관계대수(relational
algebra,關係代數)는 컴퓨터 과학의 관계형 데이터베이스의 관계 모델에서, 집합론과 1차 논리에 기반하여 관계(표)로 표현된 데이터를 취급하는 대수적인 연산 체계이다.

[익명(223.39)]

이런 것처럼 SQL에 내재된 수학 이론으로 뭐가 있는지 궁금했음

[체리코더(cherrycoder)]

번거로우시겠지만 다음 글에 잘 나와있는거 같아서 읽어보시면 될거 같습니다.
https://support.unicomsi.com/manuals/soliddb/7/index.html#page/SQL_Guide/2_GettingStartedSQL.03.04.html