The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - April (1993 vol.5)
pp: 266-281
ABSTRACT
<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>
INDEX TERMS
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
CITATION
L. Li, "Fast In-Place Verification of Data Dependencies", IEEE Transactions on Knowledge & Data Engineering, vol.5, no. 2, pp. 266-281, April 1993, doi:10.1109/69.219735
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool