Discovering Implicit Categorical Semantics for Schema Matching

被引:0
|
作者
Ding, Guohui [1 ]
Wang, Guoren [1 ]
机构
[1] Northeastern Univ, Minist Educ, Key Lab Med Image Comp NEU, Shenyang, Peoples R China
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Attribute-level schema matching is a critical step in numerous database applications, such as Data Spaces, Ontology Merging and Schema Integration. There exist many researches on this topic, however, they ignore the implicit categorical information which is crucial to find high-quality matches between schema attributes. In this paper, we discover the categorical semantics implicit in source instances, and associate them with the matches in order to improve overall quality of schema matching. Our method works in three phases. The first phase is a pre-detecting step that detects the possible categories of source instances by using clustering techniques. In the second phase, we employ information entropy to find the attributes whose instances imply the categorical semantics. In the third phase, we introduce a new concept c-mapping to represent the associations between the matches and the categorical semantics. Then, we employ an adaptive scoring function to evaluate the c-mappings to achieve the task of associating the matches with the semantics. Moreover, we show how to translate the matches with semantics into schema. mapping expressions, and use the chase procedure to transform source data into target schemas. An experimental study shows that our approach is effective and has good performance.
引用
收藏
页码:179 / 194
页数:16
相关论文
共 50 条
  • [41] A Categorical Semantics for Bounded Petri Nets
    Genovese, Fabrizio
    Loregian, Fosco
    Palombi, Daniele
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (372): : 59 - 71
  • [42] A Categorical Semantics for Guarded Petri Nets
    Genovese, Fabrizio
    Spivak, David I.
    GRAPH TRANSFORMATION, ICGT 2020, 2020, 12150 : 57 - 74
  • [43] Proof-Oriented Categorical Semantics
    Benini, Marco
    CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 2016, 6 : 41 - 68
  • [44] A categorical semantics for fuzzy predicate logic
    Stout, Lawrence Neff
    FUZZY SETS AND SYSTEMS, 2010, 161 (03) : 412 - 432
  • [45] Categorical Proof-theoretic Semantics
    Pym, David
    Ritter, Eike
    Robinson, Edmund
    STUDIA LOGICA, 2024, 113 (1) : 125 - 162
  • [46] CATEGORICAL SEMANTICS FOR PROGRAMMING-LANGUAGES
    HE, JF
    HOARE, CAR
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 442 : 402 - 417
  • [47] A PROPOSED CATEGORICAL SEMANTICS FOR PURE ML
    PHOA, W
    FOURMAN, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 623 : 533 - 544
  • [48] Schema matching using directed graph matching
    Amshakala, K.
    Nedunchezhian, R.
    WSEAS Transactions on Computers, 2013, 12 (09): : 341 - 354
  • [49] A Categorical Semantics for Linear Logical Frameworks
    Vakar, Matthijs
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2015), 2015, 9034 : 102 - 116
  • [50] Discovering implicit constraints in design
    Dabbeeru, Madan Mohan
    Mukerjee, Amitabha
    AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 2011, 25 (01): : 57 - 75