EGD

Definitions

An Equality Generating Dependency (EGD) is a formula of the following form: \[\phi(x_{1}, \dots, x_{n}) \rightarrow x_{i} = x_{j}\] where \(1 \leq i,j \leq n\) and \(\phi\) is a conjunctive query.

An functional dependency (FD) is a constraint denoted as follows: \[R : X \rightarrow y\] where \(R\) is a relation name, X is a subset of the attribute names of \(R\) and \(y\) is an attribute name of \(R\). This FD means that if two tuples in \(R\) agree on the attributes in \(X\), they must agree on the attribute \(y\).

This post accepts webmentions. Do you have the URL to your post?

Otherwise, send your comment on my service.

Or interact from the fediverse with your username:

fediverse logo Share on the Fediverse