KeyFinder: An Efficient Minimal Keys Finding Algorithm For Relational Databases
Keyword(s):
In relational databases, it is essential to know all minimal keys since the concept of database normaliza-tion is based on keys and functional dependencies of a relation schema. Existing algorithms for determining keysor computing the closure of arbitrary sets of attributes are generally time-consuming. In this paper we present anefficient algorithm, called KeyFinder, for solving the key-ï¬nding problem. We also propose a more direct methodfor computing the closure of a set of attributes. KeyFinder is based on a powerful proof procedure for ï¬ndingkeys called tableaux. Experimental results show that KeyFinder outperforms its predecessors in terms of searchspace and execution time.
Keyword(s):
2014 ◽
Vol 631-632
◽
pp. 1053-1056
Keyword(s):
2011 ◽
pp. 615-633
◽
2020 ◽
Vol 88
◽
pp. 103395
2014 ◽
Vol 1030-1032
◽
pp. 1671-1675