Authors:
Fernando Benito Picazo
1
;
Pablo Cordero
1
;
Manuel Enciso
1
and
Ángel Mora
2
Affiliations:
1
Universidad de Malaga, Spain
;
2
Universidad De Malaga, Spain
Keyword(s):
Functional Dependency, Minimal Key, Parallelism, Logic, Tableaux-method.
Related
Ontology
Subjects/Areas/Topics:
Distributed and Mobile Software Systems
;
Parallel and High Performance Computing
;
Software Engineering
Abstract:
Finding all minimal keys in a table is a hard problem but also provides a lot of benefits in database design and optimization. Some of the methods proposed in the literature are based on logic and, more specifically on tableaux paradigm. The size of the problems such methods deal with is strongly limited, which implies that they cannot be applied to big database schemas. We have carried out an experimental analysis to compare the results obtained by these methods in order to estimate their limits. Although tableaux paradigm may be viewed as a search space guiding the key finding task, none of the previous algorithms have incorporated parallelism. In this work, we have developed two different versions of the algorithms, a sequential and a parallel one, stating clearly how parallelism could naturally be integrated and the benefits we get over efficiency. This work has also guided future work guidelines to improve future designs of these methods.