태플 생성 의존성

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

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

정의.

태플 생성 의존성은 다음 형식의 ^[1]1차 로직 문장입니다.

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

$\phi$ 서 ${\$ { $displaystyle \phi }$ 는 $\phi$ 비어 있을 수 있으며 ${\$ { \ $displaystyle \psi$ }는 $\psi$ 관계 원자의 비어 있지 않은 결합입니다.릴레이셔널 아톰의 $R(w_{1},\ldots ,w_{h})$ 은 $R(w_{1},\ldots ,w_{h})$ R ( $R(w_{1},\ldots ,w_{h})$ $R(w_{1},\ldots ,w_{h})$ , $R(w_{1},\ldots ,w_{h})$ , $R(w_{1},\ldots ,w_{h})$ ) { $displaystyle$ R ( $w$ _ {1 $}$ , \ $ldots$ , w $R(w_{1},\ldots ,w_{h})$ $w,\ldots ,w_{h}$ { $h$ } $R(w_{1},\ldots ,w_{h})$ 입니다.여기서 각 $w,\ldots ,w_{h}$ w $w,\ldots ,w_{h}$ , $w,\ldots ,w_{h}$ , $w,\ldots ,w_{h}$ \ $displaystyle$ w , $\ldots$ , w _ { $w,\ldots ,w_{h}$ h }는 $w,\ldots ,w_{h}$ 변수 또는 상수입니다.

단편

TGD의 몇 가지 fragment가 정의되어 있습니다.예를 들어 완전 TGD는 존재 정량자를 사용하지 않는 TGD입니다.전체 TGD는 Datalog 쿼리 언어의 프로그램과 동일하게 볼 수 있습니다.

특히 다음과 같은 보호 로직으로 표현될 수 있는 TGD의 단편도 있습니다.^[2]^[3]

프런티어 가드 TGD(FGTGD)에서는 일부 원자에서 본체와 규칙 선두가 공유하는 모든 변수(프런티어 변수라고 함)가 함께 발생해야 한다.
가드드 TGD(GTGD)는 규칙 본문에 사용되는 모든 변수가 일부 원자에서 함께 발생해야 하는 특정 FGTGD이다.
선형 TGD(LTGD)는 신체가 단일 원자로 구성된 특정 GTGD이다.
포함 의존성(IND)은 규칙의 양쪽에 관계 원자가 ^[4]하나만 있는 특정 LTGD입니다.

SQL에서 포함 의존성은 일반적으로 외부 키라고 불리는 더 강력한 제약조건에 의해 표현됩니다.이것에 의해 프런티어 변수는 $§$ 의 관계 원자에 대응하는 테이블 내의 후보 키가 됩니다 $\psi$

레퍼런스

^ Fagin, Ronald (2009). "Tuple-Generating Dependencies". In LIU, LING; ÖZSU, M. TAMER (eds.). Encyclopedia of Database Systems. Springer US. pp. 3201–3202. doi:10.1007/978-0-387-39940-9_1274. ISBN 9780387355443.
^ Benedikt, Michael; Bourhis, Pierre; Jachiet, Louis; Thomazo, Michaël (Aug 2019). Reasoning about Disclosure in Data Integration in the Presence of Source Constraints. IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence. Macao, China. pp. 1551–1557. arXiv:1906.00624. doi:10.24963/ijcai.2019/215.
^ Console, Marco; Kolaitis, Phokion G.; Pieris, Andreas (June 2021). Model-theoretic Characterizations of Rule-based Ontologies. Symposium on Principles of Database Systems. PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Virtual Event, China. pp. 416–428. doi:10.1145/3452021.3458310.
^ Kolaitis, Phokion G. "A Tutorial on Database Dependencies" (PDF). University of California Santa Cruz & IBM Research - Almaden. Retrieved 2021-12-10.

추가 판독치

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

[1] Fagin, Ronald (2009). "Tuple-Generating Dependencies". In LIU, LING; ÖZSU, M. TAMER (eds.). Encyclopedia of Database Systems. Springer US. pp. 3201–3202. doi:10.1007/978-0-387-39940-9_1274. ISBN 9780387355443.

[2] Benedikt, Michael; Bourhis, Pierre; Jachiet, Louis; Thomazo, Michaël (Aug 2019). Reasoning about Disclosure in Data Integration in the Presence of Source Constraints. IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence. Macao, China. pp. 1551–1557. arXiv:1906.00624. doi:10.24963/ijcai.2019/215.

[3] Console, Marco; Kolaitis, Phokion G.; Pieris, Andreas (June 2021). Model-theoretic Characterizations of Rule-based Ontologies. Symposium on Principles of Database Systems. PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Virtual Event, China. pp. 416–428. doi:10.1145/3452021.3458310.

[4] Kolaitis, Phokion G. "A Tutorial on Database Dependencies" (PDF). University of California Santa Cruz & IBM Research - Almaden. Retrieved 2021-12-10.

[1]

[2]

[3]

[4]

Search

태플 생성 의존성

네임스페이스

더

목차

정의.

단편

레퍼런스

추가 판독치