Providing explanations for database schema validation

被引:0
|
作者
Rull, Guillem [1 ]
Farre, Carles [1 ]
Teniente, Ernest [1 ]
Urpi, Toni [1 ]
机构
[1] Univ Politecn Cataluna, Dept Llenguatges & Sistemes Informat, ES-08034 Barcelona, Spain
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We propose a new method for database schema validation that provides an explanation when it determines that a certain desirable property of a database schema does not hold. Explanations are required to give the designer a hint about the changes of the schema that are needed to fix the problem identified. Our method is an extension of the CQC method, which has been shown successful for testing such properties.
引用
收藏
页码:660 / 667
页数:8
相关论文
共 50 条
  • [1] On the abductive or deductive nature of database schema validation and update processing problems
    Teniente, E
    Urpí, T
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 (03) : 287 - 327
  • [2] Schema repository for database schema evolution
    Bounif, Hassina
    Pottinger, Rachel
    SEVENTEENTH INTERNATIONAL CONFERENCE ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2006, : 647 - +
  • [3] Developing a database schema generator based on XML schema
    Lim, Jong-Seon
    Choi, Mun-Young
    Joo, Kyung-Soo
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2007, 14 : 1690 - 1694
  • [4] THE SCHEMA OF THE SUFFICIENT CAUSE AS A MAXIM IN CAUSAL EXPLANATIONS - WHAT ARE INFORMATIVE AND SUFFICIENT EXPLANATIONS
    BIERHOFF, HW
    ZEITSCHRIFT FUR SOZIALPSYCHOLOGIE, 1991, 22 (02): : 112 - 122
  • [5] Providing Explanations for Recommendations in Reciprocal Environments
    Kleinerman, Akiva
    Rosenfeld, Ariel
    Kraus, Sarit
    12TH ACM CONFERENCE ON RECOMMENDER SYSTEMS (RECSYS), 2018, : 22 - 30
  • [6] Schema matching and database integration
    Karasnehl, Yaser
    Ibrahim, Hamidah
    Othman, Mohamed
    Yaakob, Razali
    World Academy of Science, Engineering and Technology, 2009, 38 : 1205 - 1208
  • [7] Analysis of database schema integration
    Aleksandraviciene, Aiste
    Butleris, Rimantas
    PROCEEDINGS OF THE 2006 SEVENTH INTERNATIONAL BALTIC CONFERENCE ON DATABASES AND INFORMATION SYSTEMS (BALTIC DB&IS 2006), 2006, : 132 - 142
  • [8] INFORMATION CAPABILITY OF A DATABASE SCHEMA
    DUZI, M
    MATERNA, P
    STANICEK, Z
    KYBERNETIKA, 1988, 24 (03) : 216 - 226
  • [9] Database conceptual schema matching
    Casanova, Marco A.
    Breitman, Karin K.
    Brauner, Daniela F.
    Marins, Andre L. A.
    COMPUTER, 2007, 40 (10) : 102 - 104
  • [10] SCHEMA RECONSTRUCTION IN DATABASE FORENSICS
    Adedayo, Oluwasola Mary
    Olivier, Martin
    ADVANCES IN DIGITAL FORENSICS X, 2014, 433 : 101 - 116