Зависимость, генерирующая кортежи - Tuple-generating dependency

В теория реляционных баз данных, а зависимость, порождающая кортежи (TGD) - это определенный вид ограничения для реляционной базы данных. Это подкласс класса встроенные зависимости (ED). TGD - это предложение в логике первого порядка вида: ∀x1 ... xn, P (x1, ..., xn) → ∃y1, ..., ym, Q (x1, ..., xn , y1, ..., ym),[1] где P - возможно, пустой, а Q - непустая конъюнкция реляционные атомы. Реляционный атом имеет форму R (w1, ..., wh), где каждый из w, ..., wh, wi, wj - переменные или константы. Алгоритм, известный как погоня принимает в качестве входных данных экземпляр, который может или не может удовлетворять набору TGD (или, в более общем смысле, ED), и, если он завершается (что априори неразрешимо), выводит экземпляр, который действительно удовлетворяет TGD.

Фрагменты

Несколько фрагменты TGD. Например, полные TGD являются TGD, которые не используют квантор существования. Полные TGD можно также рассматривать как программы в Лог данных язык запросов. Есть также некоторые фрагменты TGD, которые могут быть выражены в осторожная логика, например, охраняемые ТГД, где мы требуем, чтобы все переменные, используемые в теле правила, встречались вместе в каком-то атоме.

использованная литература

  1. ^ Феджин, Рональд (2009). «Зависимости, порождающие кортежи». В ЛИУ, ЛИНГ; ÖZSU, M. TAMER (ред.). Энциклопедия систем баз данных. Springer США. стр.3201 –3202. Дои:10.1007/978-0-387-39940-9_1274. ISBN  9780387355443.