Using a Tableau Method for Checking the Database Logical Structure Correctness

Abstract

The paper has considered the issue of checking the database logical structure correctness. At the present, there are several methods for solving this issue in the world, but to test existing databases with different complexity in the structures, it is used a method based on the new algorithm using a tableau. This algorithm uses the chase method to check the join- and functional dependencies of the databases. The assessment of algorithm time complexity and convergence are presented in the next part. The last part of this paper, we try to illustrate an example by using this algorithm.