Towards an abstract theory of dependency constraints in relational databases
The authors introduce the notion of an FD system on a semilattice as a generalization of the concept of a closed set of functional dependencies. The notion of a table as an abstraction of relations of relational databases is presented. Several examples illustrate the connection to the theory of relational databases as well as to other areas of discrete mathematics.
scientific article; zbMATH DE number 4033149