В теории реляционных баз данных , кортеж генерирующим зависимость (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 можно эквивалентно рассматривать как программы на языке запросов Datalog . Есть также некоторые фрагменты TGD, которые могут быть выражены в защищенной логике , например, защищенные TGD , где мы требуем, чтобы все переменные, используемые в теле правила, должны встречаться вместе в некотором атоме.
Ссылки [ править ]
- ^ Феджин, Ronald (2009). «Зависимости, порождающие кортежи». В ЛИУ, ЛИНГ; ОЗСУ, М. ТАМЕР (ред.). Энциклопедия систем баз данных . Springer США. стр. 3201 -3202. DOI : 10.1007 / 978-0-387-39940-9_1274 . ISBN 9780387355443.
- Серж Абитебул , Ричард Б. Халл , Виктор Виану : Основы баз данных. Аддисон-Уэсли, 1995.
- Алин Дойч, FOL Modeling of Integrity Constraints, https://web.archive.org/web/20140912044956/http://db.ucsd.edu/pubsFileFolder/305.pdf