Issue No. 02 - April (1993 vol. 5)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.219735
<p>Several fast and space-optimal sequential and parallel algorithms for solving the satisfaction problem of functional and multivalued dependencies (FDs and MVDs) are presented. Two frameworks to verify an MVD for a relation and their implementation by exploring the existing fast space-optimal sorting techniques are described. The space optimality means that only a constant amount of extra memory space is needed for the sequential implementations, and O(M) amount of extra memory space for parallel algorithms that use M processors. This feature makes the algorithms attractive whenever space is a critical resource and I/O transfers should be reduced to the minimal, as is often the case for relational database systems. The time requirements for in-place FD and MVD verification are given in terms of M and of N, which is the number of tuples in a relation. The effect of relation modification on FD and MVD verification is examined.</p>
in-place verification; data dependencies; space-optimal sequential; parallel algorithms; satisfaction problem; multivalued dependencies; fast space-optimal sorting techniques; space optimality; sequential implementations; I/O transfers; relational database systems; in-place FD; MVD verification; tuples; relation modification; parallel algorithms; program verification; relational databases
L. Li, "Fast In-Place Verification of Data Dependencies," in IEEE Transactions on Knowledge & Data Engineering, vol. 5, no. , pp. 266-281, 1993.