평등 생성 종속성

관계형 데이터베이스 이론에서 EGD(Equal-Generating Dependency)는 데이터에 대한 특정 종류의 제약입니다.임베디드 의존관계(ED) 클래스의 서브 클래스입니다.

chase라고 하는 알고리즘은, EGD(또는 보다 일반적으로 ED)의 세트를 만족시킬 수도 있고 만족시키지 않을 수도 있는 인스턴스를 입력으로서 받아들여, 종료했을 경우(선험적으로 결정할 수 없는 것), EGD를 만족시키는 인스턴스를 출력합니다.

등식 생성 의존성의 중요한 하위 클래스는 기능 의존성이다.

정의.

등식생성 의존관계는 다음과 같은 형식의 1차 논리로 이루어진 문장이다.

\displaystyle x_{1},\ldots,x_{n}.\phi(x_{1},\ldots,x_{n})\rightarrow \psi(y_{1},\ldots,y_{m})}

$\{y_{1},\ldots ,y_{m}\}\subseteq \{x_{1},\ldots ,x_{n}\}$ 서 $\{y_{1},\ldots ,y_{m}\}\subseteq \{x_{1},\ldots ,x_{n}\}$ { $\{y_{1},\ldots ,y_{m}\}\subseteq \{x_{1},\ldots ,x_{n}\}$ 1 $\{y_{1},\ldots ,y_{m}\}\subseteq \{x_{1},\ldots ,x_{n}\}$ , $\{y_{1},\ldots ,y_{m}\}\subseteq \{x_{1},\ldots ,x_{n}\}$ , $\{y_{1},\ldots ,y_{m}\}\subseteq \{x_{1},\ldots ,x_{n}\}$ m $\{y_{1},\ldots ,y_{m}\}\subseteq \{x_{1},\ldots ,x_{n}\}$ } $\{y_{1},\ldots ,y_{m}\}\subseteq \{x_{1},\ldots ,x_{n}\}$ { x $\{y_{1},\ldots ,y_{m}\}\subseteq \{x_{1},\ldots ,x_{n}\}$ , $\{y_{1},\ldots ,y_{m}\}\subseteq \{x_{1},\ldots ,x_{n}\}$ , x $\{y_{1},\ldots ,y_{m}\}\subseteq \{x_{1},\ldots ,x_{n}\}$ n $\{y_{1},\ldots ,y_{m}\}\subseteq \{x_{1},\ldots ,x_{n}\}$ } { $displaystyle$ \ { $y _$ { m } \ $ldots$ , x $_ n$ } $display$ 、 $\phi$ \ $displaystyle$ \ $phi$ $displaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplay$ displaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplay릴레이셔널 $아톰$ 의 $R(w_{1},\ldots ,w_{h})$ 은 R $R(w_{1},\ldots ,w_{h})$ ( $R(w_{1},\ldots ,w_{h})$ 1 , $R(w_{1},\ldots ,w_{h})$ , $R(w_{1},\ldots ,w_{h})$ h ) { $displaystyle$ $R$ $( w$ _ {1} , \ $ldots$ , $w$ _ { $h$ $w,...,w_{h},w_{i},w_{j}$ } ) $w_{i}=w_{j}$ atom atom atom has has $w_{i}=w_{j}$ $= w _ {$ j $w_{i}=w_{j}$ 。 $w,...,w_{h},w_{i},w_{j}$ 서 각 $w,...,w_{h},w_{i},w_{j}$ 는 $w,...,w_{h},w_{i},w_{j}$ $w_{i}=w_{j}$ $w,...,w_{h},w_{i},w_{j}$ , . , $w,...,w_{h},w_{i},w_{j}$ , $w,...,w_{h},w_{i},w_{j}$ , i $w,...,w_{h},w_{i},w_{j}$ , w , $w,...,w_{h},w_{i},w_{j}$ _ $w _$ { h } $。$

동등한 정의는 다음과 같습니다.^[1]

\displaystyle x_{1},\ldots,x_{n}.\phi(x_{1},\ldots,x_{n})\rightarrow x_{i}=x_{j}}

$i,j\in \{1,\ldots ,n\}$ 서 i $i,j\in \{1,\ldots ,n\}$ , $i,j\in \{1,\ldots ,n\}$ $i,j\in \{1,\ldots ,n\}$ { $i,j\in \{1,\ldots ,n\}$ , $i,j\in \{1,\ldots ,n\}$ , n $}$ { $displaystyle$ i , $j$ \ $in$ \ { 1 $,$ $\ldots$ , $n$ \ $i,j\in \{1,\ldots ,n\}$ }. 실제로 등가 조합을 생성하는 것은 하나의 등가만을 생성하는 여러 의존관계를 갖는 것과 같습니다.

레퍼런스

^ Calì, Andrea; Pieris, Andreas (2011). On Equality-Generating Dependencies in Ontology Querying - Preliminary Report (PDF). Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2011).

추가 판독치

세르게이 아비테불, 리처드 B. Hull, Victor Vianu: 데이터베이스의 기초.애디슨 웨슬리, 1995년
Alin Deutsch, 무결성 제약의 FOL 모델링, https://web.archive.org/web/20140912044956/http://db.ucsd.edu/pubsFileFolder/305.pdf

이 컴퓨터 기사는 스텁입니다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.

[1] Calì, Andrea; Pieris, Andreas (2011). On Equality-Generating Dependencies in Ontology Querying - Preliminary Report (PDF). Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2011).

[1]

Search

평등 생성 종속성

네임스페이스

더

정의.

레퍼런스

추가 판독치