임베디드 의존성

관계형 데이터베이스 이론에서 임베디드 의존성(ED)은 관계형 데이터베이스의 특정 종류의 제약입니다.이것은 태플 생성 의존성과 동등 생성 의존성을 모두 포함하여 실제로 사용되는 가장 일반적인 유형의 제약 조건입니다.내장 의존관계는 기능 의존관계, 결합 의존관계, 다중값 의존관계, 포함 의존관계, 외부 키 의존관계 등을 나타낼 수 있습니다.

체이스라고 불리는 알고리즘은 ED 세트를 만족시킬 수도 있고 만족시키지 못할 수도 있는 인스턴스를 입력으로 받아 종료되면(선험적으로 결정할 수 없는) ED를 만족시키는 인스턴스를 출력합니다.

정의.

임베디드 의존관계(ED)는 다음 형식의 1차 로직 문장입니다.

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

여기서 $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ 1 , $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ , $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ { $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ , $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ , $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ { { $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ 1 , $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ , $x$ n $}$ { $display$ \ { $style$ \ { $z _$ { $k$ } \ = \ { $y$ _ { 1 $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ } \ $ldots$ , y _ { m } \ $setminus$ \ { $x {$ { $n$ } } 、 \ $\phi$ $\{z_{1},\ldots ,z_{k}\}=\{y_{1},\ldots ,y_{m}\}\setminus \{x_{1},\ldots ,x_{n}\}$ }릴레이셔널 $아톰$ 의 $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]^[2]같은 임베디드 의존성에 대한 많은 일반적인 제약이 있습니다.

완전(또는 범용) 의존관계. $\exists z_{i}$ 하는 수량화 변수( ( $\exists z_{i}$ z $\exists z_{i}$ \ $displaystyle \displaystyle z_{i$ 가 없는 의존관계입니다.
태플 생성 의존관계(TGD)
EGD(Equal Generating Dependencies)
싱글헤드(또는 1헤드) 의존관계(헤드에 원자 1개만 있음)
하나의 관계 기호만 발생하는 비언어적 종속성

$【{displaystyle \psi}$ 의 $\psi$ 모든 원자가 동일할 경우 ED는 EGD, $【{displaystyle \psi}$ 의 $\psi$ 모든 원자가 관계형일 경우 ED는 TGD입니다.모든 ED는 EGD 및 TGD에 해당합니다.

내선번호

임베디드 의존성의 일반적인 확장으로는 다음과 같이 정의할 수 있는 DED(Disconnational Embedded Dependency)^[3]가 있습니다.

\displaystyle x_{1},\ldots,x_{n}.\phi(x_{1},\ldots,x_{n}\rightarrow \bigvee _{i=1}^{ell}\color z_{1}^i},\ldots,z_{k}^{i}.\psi(y_{1}^{i},\ldots,y_{m}^{i})}

$\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ 서 $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ { $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ i , $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ , z $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ { $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ 1 $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ , $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ , $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ i $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ { { $1$ , $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ , $\{z_{1}^{i},\ldots ,z_{k}^{i}\}=\{y_{1}^{i},\ldots ,y_{m}^{i}\}\setminus \{x_{1},\ldots ,x_{n}\}$ n $}$ { $displaystyle$ \ { { $z$ _ { { n } { $i$ } , \ldots , $z _$ { k }^{i } \ = \ { $y$ _ { i } , \ $ldotset$ , $y _$ m^{ i $}$ \ $min }$ \ $set$

일반적으로 DED는 하나 이상의 ED를 사용하여 시뮬레이션할 수 없기 때문에 분리형 내장 의존성은 단순 내장 의존성보다 표현력이 높습니다.더욱 표현적인 제약조건은 부등식과의 분리적 의존관계(DED ${\$ {\ $display$ $^{\$ $neq$ $}}$ 로 $\psi$ 표시됨)이며, $\psi$ 부등식 $\psi$ ^[3]원자는 부등식 원자를 포함할 수 있다.

위의 모든 제한은 분리형 임베디드 의존관계에도 적용될 수 있습니다.그것 외에도, DED는 또한 분리 태플 생성 의존성과 분리 평등 생성 의존성의 일반화로 볼 수 있다.

레퍼런스

^ ^a ^b (1990년 카넬라키스)
^ Greco, Sergio; Zumpano, Ester (Nov 2000). Michel Parigot, Andrei Voronkov (ed.). Querying Inconsistent Databases. 7th International Conference on Logic for Programming Artificial Intelligence and Reasoning. Reunion Island, France: Springer. pp. 308–325. doi:10.1007/3-540-44404-1_20.
^ ^a ^b (Deutsch 2009)

추가 판독치

Kanellakis, Paris C. (1990). "Elements of Relational Database Theory". Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics. Amsterdam: Elsevier. pp. 1073–1156. doi:10.1016/b978-0-444-88074-1.50022-6. ISBN 978-0-444-88074-1.
세르게이 아비테불, 리처드 B. Hull, Victor Vianu: 데이터베이스의 기초.애디슨 웨슬리, 1995년
Deutsch, Alin (2009). FOL Modeling of Integrity Constraints (Dependencies). Encyclopedia of Database Systems. Boston, MA: Springer US. pp. 1155–1161. doi:10.1007/978-0-387-39940-9_980. ISBN 978-0-387-39940-9.

[Kanellakis1990-1] (1990년 카넬라키스)

[2] Greco, Sergio; Zumpano, Ester (Nov 2000). Michel Parigot, Andrei Voronkov (ed.). Querying Inconsistent Databases. 7th International Conference on Logic for Programming Artificial Intelligence and Reasoning. Reunion Island, France: Springer. pp. 308–325. doi:10.1007/3-540-44404-1_20.

[deutsch-3] (Deutsch 2009)

[1]

[2]

[3]

Search

임베디드 의존성

네임스페이스

더

목차

정의.

제약 사항

내선번호

레퍼런스

추가 판독치