자료베이스에서 검색되지 않은 사실은 거짓일까요, 아니면 아직 모르는 것일까요? 답은 자료가 완전하다고 약속할 수 있는지에 달려 있습니다. 열린 세계와 닫힌 세계는 바로 이 누락을 다루는 규칙이 다릅니다.
연구를 읽는 두 가지 질문
닫힌 세계 가정은 무엇을 보완하나?
Reiter는 데이터베이스에 명시적으로 저장된 긍정 사실만으로 부정 질의를 처리하기 어려운 문제를 다룹니다. 일정한 조건에서 데이터베이스가 함의하지 않는 원자 사실의 부정을 가정해 지식을 완성하는 방법을 제안합니다. [1]
왜 ‘기록 없음=거짓’이 항상 안전하지 않나?
닫힌 세계 추론은 데이터베이스가 해당 범위의 긍정 정보를 충분히 담는다는 전제가 필요합니다. 누락·지연·다른 출처가 가능한 개방된 환경에서는 함의되지 않음을 거짓의 증거로 사용할 수 없습니다. [1]
운영 규칙으로 어떻게 옮길까?
이번 활동은 명시적 참, 명시적 거짓, 미기록을 분리하고 세계 가정만 바꿉니다. 이로써 데이터 자체가 아니라 완전성 정책이 답을 바꾸는 지점을 드러냅니다. [1]
완료 기록이 없는 소라의 과제는 미완료인가?
자료베이스에는 민서의 완료와 준호의 미완료가 명시되어 있고 소라에 관한 기록은 없습니다. 열린 세계에서는 소라의 완료 여부를 미정으로 둡니다.
닫힌 세계에서는 범위 안의 긍정 사실이 모두 기록되어 있다는 완전성 약속 아래, 완료 기록이 없는 소라를 거짓으로 처리합니다. 같은 데이터도 완전성 가정이 다르면 답이 달라집니다.
관계로 추론: 미기록과 명시적 부정은 어떤 점이 다릅니까? 조건을 바꾸어 적용: 소라를 완료 또는 미완료로 명시하면 두 세계의 답 차이는 어떻게 사라집니까?
세 사람의 기록과 열린·닫힌 세계 가정을 바꾸어 질의 결과를 비교해 보세요
질의는 “이 사람의 과제가 완료되었는가?”입니다. 기록 세 개와 세계 가정을 바꾸면 같은 미기록 상태가 어떻게 달리 판정되는지 확인하세요.
| 사람 | 판정 | 근거 |
|---|---|---|
| 민서 | 참 | 긍정 사실 |
| 준호 | 거짓 | 명시적 부정 |
| 소라 | 미정 | 기록 없음→판정 보류 |
열린 세계에서 거짓 1건, 미정 1건입니다.
닫힌 세계 가정은 대상과 입력 절차가 충분히 완전하다고 약속할 때만 안전합니다. 누락 가능성이 큰 자료에서 미기록을 곧바로 거짓으로 바꾸면 잘못된 배제 판단이 생길 수 있습니다.
어디까지 말할 수 있을까요?
- Reiter의 닫힌 세계 가정은 데이터베이스의 특정 논리적 조건 아래 부정 정보를 보완하는 제안입니다. 현실의 모든 미기록을 거짓으로 바꾸는 면허가 아닙니다.
- 이번 활동은 명제 하나와 세 사람으로 단순화했습니다. 실제 시스템에서는 무결성 제약, NULL, 시간, 예외, 분산된 출처를 함께 다뤄야 합니다.
- 이 글은 기존 ‘미정은 거짓이 아니다’ 설명을 데이터베이스 완전성 선택과 질의 결과 변화로 확장합니다. 같은 사례를 이름만 바꿔 반복하지 않습니다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
정보 수업에서는 완결된 명부·재고·권한표처럼 누락을 거짓으로 처리해도 되는 자료는 범위와 갱신 시점을 명시합니다. 외부 조사·의료·민원처럼 누락 가능성이 큰 자료는 미정을 보존합니다.
질의 결과 화면에서는 ‘명시적 부정’과 ‘기록 없음에서 가정한 거짓’을 구별해 표시합니다. 완전성 가정을 바꾸면 판정이 달라지는 항목을 검토 대상으로 남깁니다.
닫힌 세계 가정은 언제 유용한가요?
생각을 비교할 해설 펼치기
범위가 분명하고 긍정 사실이 빠짐없이 입력된다고 관리되는 자료에서 간결한 질의를 가능하게 합니다. 그러나 외부 세계를 부분적으로 관찰한 자료에서는 누락을 거짓으로 바꾸기 전에 완전성 근거를 확인해야 합니다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.
닫힌 세계 데이터베이스에 관하여 (On Closed World Data Bases)
Raymond Reiter (1977). University of British Columbia Technical Report TR-77-16; later in Logic and Data Bases (1978), pp. 55–76.
- 자료 성격
- 대학 기술보고서 · 공개 전문
- 읽은 버전
- 1977-08-01 technical report
- 확인 범위
- UBC 공개 전문에서 닫힌 세계 가정의 정의, 데이터베이스 완성, 일관성과 적용 조건을 확인
- 원문 확인일
- 영구 식별
- DOI 미기재 · 아래 보존판 주소로 안내
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준
같은 연구 흐름에서 이어 읽기
같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.