Using a Tableau Method for Checking the Database Logical Structure Correctness

被引：0
|
作者：
Svetlov, Gennady V. [1 ]
Grinchenko, Natalya N. [1 ]
Baranchikov, Aleksey I. [1 ]
Fokina, Nataliy S. [1 ]
Kostrov, Boris V. [2 ]
机构：
[1] Joint Stock Co Ryazan Prod & Tehnol Enterprise Gr, Moscow, Russia
[2] Ryazan State Radioengeneering Univ, Ryazan, Russia
来源：
PROCEEDINGS OF 2018 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS 2018) | 2018年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
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.
引用
收藏
页数：5
相关论文
共 50 条
  • [1] THE REDUCTION METHOD OF CHECKING THE CORRECTNESS OF PARALLEL ALGORITHMS IN THE LOGICAL CONTROL
    ZAKREVSKII, AD
    [J]. DOKLADY AKADEMII NAUK BELARUSI, 1983, 27 (07): : 617 - 619
  • [2] Integrity and correctness checking of a lexical database
    Cojocaru, S.
    Colesnicov, A.
    Malahova, L.
    [J]. COMPUTER SCIENCE JOURNAL OF MOLDOVA, 2006, 14 (01) : 138 - 151
  • [3] An efficient method for checking object-oriented database schema correctness
    Formica, A
    Groger, HD
    Missikoff, M
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1998, 23 (03): : 333 - 368
  • [4] An tableau automated theorem proving method using logical reinforcement learning
    Liu, Quan
    Gao, Yang
    Cui, Zhiming
    Yao, Wangshu
    Chen, Zhongwen
    [J]. ADVANCES IN COMPUTATION AND INTELLIGENCE, PROCEEDINGS, 2007, 4683 : 262 - +
  • [5] A METHOD OF STATIC PROGRAM CORRECTNESS CHECKING
    GODERDZISHVILI, GM
    KOVALEV, VV
    ROMANYUK, VA
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1988, 14 (02) : 85 - 90
  • [6] CORRECTNESS OF SEMANTIC INTEGRITY CHECKING IN DATABASE-MANAGEMENT SYSTEMS
    BERTINO, E
    MUSTO, D
    [J]. ACTA INFORMATICA, 1988, 26 (1-2) : 25 - 57
  • [7] Alternative method of checking of correctness of the illumination concept
    Kubiak, Kamil
    [J]. PRZEGLAD ELEKTROTECHNICZNY, 2011, 87 (05): : 250 - 252
  • [8] A Tableau Method for Checking Rule Admissibility in S4
    Babenyshev, Sergey
    Rybakov, Vladimir
    Schmidt, Renate A.
    Tishkovsky, Dmitry
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 262 : 17 - 32
  • [9] Towards an efficient tableau method for Boolean circuit satisfiability checking
    Junttila, TA
    Niemelä, I
    [J]. COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 553 - 567
  • [10] VERIFYING THE CORRECTNESS OF AADL MODULES USING MODEL CHECKING
    JOSKO, B
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 430 : 386 - 400
12345