Using a Tableau Method for Checking the Database Logical Structure Correctness

Authors

  • Gennady V Svetlov Joint stock company "Ryazan Production and Tehnological enterprise "Granit", Ryazan, Russia
  • Aleksey I. Baranchikov Joint stock company "Ryazan Production and Tehnological enterprise "Granit", Ryazan, Russia
  • Natalya N. Grinchenko Joint stock company "Ryazan Production and Tehnological enterprise "Granit", Ryazan, Russia
  • Nataliy S. Fokina Joint stock company "Ryazan Production and Tehnological enterprise "Granit", Ryazan, Russia

Keywords:

database, algorithm, logical structure, tableau, the chase method

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.

Downloads

Published

2021-07-29

How to Cite

V Svetlov, G., I. Baranchikov, A., N. Grinchenko, N., & S. Fokina, N. (2021). Using a Tableau Method for Checking the Database Logical Structure Correctness. WiPiEC Journal - Works in Progress in Embedded Computing Journal, 4(1). Retrieved from https://wipiec.digitalheritage.me/index.php/wipiecjournal/article/view/20

Issue

Vol. 4 No. 1 (2018): WiPiEC Journal

Section

Articles

License

License Terms: 

Except where otherwise noted, content on this website is lincesed under a  Creative Commons Attribution Non-Commercial License (CC BY NC) 

Use, distribution and reproduction in any medium, provided the original work is properly cited and is not used for commercial purposes, is permitted.

Copyright to any article published by WiPiEC retained by the author(s). Authors grant WiPiEC Journal a license to publish the article and identify itself as the original publisher. Authors also grant any third party the right to use the article freely as long as it is not used for commercial purposes and its original authors, citation details, and publisher are identified, in accordance with CC BY NC license. Fore more information on license terms, click here.