[%] db에 기저에는 집합론이 있다는말 잘 모르겠어

[익명(220.117)]

집합론 책 피면 거의 무한집합얘기만 나와

유한집합 얘기는 별로 없어

그런데 db는 유한집합갖고 얘기하는거잖아

db의 기저에는 논리학이 있다고 보는게 더 맞을 것 같은데

[익명(118.235)]

집합론 = 수리논리학

[익명(118.235)]

그런거 다 환상임 db의 기저는 db지 수학같은게 아님 그냥 수학을 끌어다 쓸뿐임

[익명(118.235)]

애드거 코드는 집합론으로 만든건 맞음. 다만 우리가 디비 쓸 때 신경쓸 필요가 없을뿐이지.

[익명(115.138)]

쿼리 튜닝에 논리학이 들어가긴 함. 모두가 체감을 못할뿐이지

[익명(115.138)]

옵티마이저 자체가 논리학 존나 끌어다 씀. 그래서 옵티마이저 튜닝까지 들어가면 안 쓸수가 없는데 거기까지 알고 하는 사람은 DB개발자 정도 뿐이긴하지

[익명(118.235)]

MySQL, 몽고 디비, 객체지향 디비 이런거 생각하지 말고 그냥 추상적인 디비를 생각해봐. 디비가 없는데 너가 최초로 디비라는 개념을 만든다고. 그 때 기반이 되는게 집합론이야. 지금은 그냥 훝고 넘어가라

[익명(118.235)]

너가 디비에 거래내역를 저장하고 싶으면 이미 “거래내역”라는 세상의 한 개념/타입(집합)을 고른거야. “거래내역”과 “거래대상”이라는 두 집합이 어떻게 연관되어있고 어떤걸 공유하고 이딴거임

[익명(220.117)]

그러니까 유한집합이라는거지

[익명(118.235)]

오토마타 할 때 무한한 저장공간 가정하고 하는데 PC 램이 무한하디? 그냥 이상 기체처럼 개념 모델링에 쓰는거지

[익명(1.240)]

임의 갯수만큼 원소를 집어넣을 수 있는데 무한이 왜 필요하냐는 소리 아님? - dc App

[익명(211.234)]

유한집합의 크기는 유한이지만 그런 유한집합의 개수는 무한개잖아