데이터베이스의 조항 형식 추론

SQL 또는 기타 데이터베이스 시스템의 연역적 데이터베이스는 이미 데이터베이스에 있는 규칙과 정보를 기반으로 새로운 사실에 대한 결론을 도출할 수 있는 도구입니다. 연역적 데이터베이스에서 데이터 기록은 사실, 규칙, 쿼리를 표현하는 데 일반적으로 사용되는 언어입니다. 절 형태로 표현될 때 수식은 여러 절로 구성되며, 각 절은 OR 기호로 표시된 논리적 연결만으로 연결된 여러 리터럴로 구성됩니다.

다음 수량자는 수식에 사용할 수 있습니다 -

Universal Quantifier - "P(x)는 모든 x에 대해 유지됩니다"라고 읽을 수 있습니다. 이는 P(x)가 우주의 모든 x 인스턴스에 대해 유지된다는 의미입니다.

예를 들어 트럭에는 바퀴가 있습니다.

존재수량자 - 이는 P(x)가 우주에서 적어도 하나의 항 x에 대해 성립한다는 의미이며, "P(x)와 같은 x가 존재한다"라고 표현됩니다.

예: 당신은 누군가의 보살핌을 받고 있습니다.

절 양식 수식은 다음 특성을 갖춘 수식으로 변경되어야 합니다. -

공식의 각 요소에는 수량화된 값이 있습니다. 따라서 모든 사람에 대해 범용 수량자를 명시적으로 추가할 필요가 없습니다. 수량자가 제거되면 수식의 모든 변수는 범용 수량자에 의해 암시적으로 수량화됩니다.

수식이 여러 절로 구성되어 있고 각 절은 논리 연결 OR로만 연결된 여러 리터럴로 구성되어 있으므로 수식은 절로 구성됩니다. 모든 문장은 단어의 분리입니다.

문장 자체는 AND 논리 접속사로만 연결되어 수식을 만듭니다. 따라서 수식의 절 형식은 절의 접속사입니다.

입증할 수 있듯이 모든 공식은 절 형식으로 변경될 수 있습니다. 우리의 목적을 위해서는 개별 절의 구조(각각은 리터럴의 분리임)가 주요 관심사입니다. 이러한 리터럴은 긍정적일 수도 있고 부정적일 수도 있다는 점을 기억하세요. 다음 조항을 고려하십시오 -

으아아아

앞절에는 m개의 긍정적인 단어와 n개의 부정적인 단어가 있습니다. 아래의 유사한 논리 공식을 사용하여 이 절을 표현할 수 있습니다 -

으아아아

예를 들어 암시적 기호는 "=>"입니다.

두 번째 공식은 하나 이상의 Q가 참인 경우에만 참이며, 이것이 (암시적) 기호가 의미하는 바입니다. 이는 모든 p 리터럴 i = (1, 2,...,)이 참인 경우에 해당됩니다. 첫 번째 공식의 경우 P 리터럴 i = (1, 2,..., n) 중 하나라도 참이면 해당 부정도 모두 참입니다. 따라서 이 경우에는 적어도 하나의 Q가 참인 경우에만 참입니다.

따라서 위 두 공식의 진리값은 비교할 수 있기 때문에 항상 동일합니다.

결론

절 형식에서 수식은 일련의 문장으로 작성되며 각 문장은 OR 변형의 논리적 연결로만 연결된 여러 단어로 구성됩니다.

위 내용은 데이터베이스의 조항 형식 추론의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!