tcswiki

wiki-style
git clone https://a3nm.net/git/tcswiki/
Log | Files | Refs

commit ed0be4f6393aab14cb862549f9419291bcef435b
parent e4b28e0ad0df194efea289c9a930b5d1114cedd7
Author: a3nm <>
Date:   Sun, 17 Jun 2018 01:10:26 +0200

fix links

Diffstat:
Constraint languages.page | 4++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Constraint languages.page b/Constraint languages.page @@ -2,4 +2,4 @@ All constraint languages mentioned here are expressed in [first-order logic](). # Tuple-generating dependencies -A **Tuple-Generating Dependency** (TGD) is a logical constraint $\tau$ of the form $\forall \mathbf{x} ~ \phi(x) \rightarrow \exists \mathbf{y} ~ \psi(\mathbf{x}, \mathbf{y})$, where $\phi$ and $\psi$ are [conjunctive queries](Queries#Conjunctive_queries). Given a [database instance](Basic database terminology#Instance) $I$, a **trigger** for $\tau$ in $I$ is a [homomorphism](Queries#Conjunctive_queries) $h$ from $\phi$ to $I$. We say that the trigger $h$ is **active** if there is no homomorphism $h'$ from $\psi$ to $I$ that extends $h$, i.e., the domain of $h'$ is a superset of that of $h$ and $h(x) = h'(x)$ for all $x$ in the domain of $h$. We say that $I$ **satisfies** the TGD $\tau$ if there are no active triggers of $\tau$ on $I$.- \ No newline at end of file +A **Tuple-Generating Dependency** (TGD) is a logical constraint $\tau$ of the form $\forall \mathbf{x} ~ \phi(x) \rightarrow \exists \mathbf{y} ~ \psi(\mathbf{x}, \mathbf{y})$, where $\phi$ and $\psi$ are [conjunctive queries](Queries#conjunctive-queries-cqs). Given a [database instance](Basic database terminology#instance) $I$, a **trigger** for $\tau$ in $I$ is a [homomorphism](Queries#conjunctive-queries-cqs) $h$ from $\phi$ to $I$. We say that the trigger $h$ is **active** if there is no homomorphism $h'$ from $\psi$ to $I$ that extends $h$, i.e., the domain of $h'$ is a superset of that of $h$ and $h(x) = h'(x)$ for all $x$ in the domain of $h$. We say that $I$ **satisfies** the TGD $\tau$ if there are no active triggers of $\tau$ on $I$.+ \ No newline at end of file