근거 종류

표준 글에 적은 주장이 어떤 성격인지에 따라 나눈 네 가지 분류다. 「기술 사실」(예: 인덱스를 걸면 빠르다)은 같은 데이터로 있을 때와 없을 때를 돌려 비교해서 증명하고, 「안 비교」(예: 안 C가 안 A보다 낫다)는 같은 기능을 두 가지 방법으로 만들어 비교해서 증명하고, 「에이전트 규칙」(예: 이 탐색 규칙이 유리하다)은 같은 과제를 규칙이 있을 때와 없을 때로 여러 번 돌려 비교해서 증명하고, 「명세 사실」(예: 상태 코드 412의 뜻)은 공식 문서를 인용하고 최소 예제로 확인해서 증명한다.