ETL workflows: From formal specification to optimization

被引:0
|
作者
Sellis, Timos K. [1 ]
Simitsis, Alkis [2 ]
机构
[1] Natl Tech Univ Athens, Sch Elect & Comp Engn, GR-10682 Athens, Greece
[2] IBM Corp, Almaden Res Ctr, San Jose, CA 95120 USA
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
In this paper, we present our work on a framework towards the modeling and optimization of Extraction-Transformation-Loading (ETL) workflows. The goal of this research was to facilitate, manage, and optimize the design and implementation of the ETL workflows both during the initial design and deployment stage, as well as, during the continuous evolution of a data warehouse. In particular, we present our results which include: (a) the provision of a novel conceptual model for the tracing of inter-attribute relationships and the respective ETL transformations in the early stages of a data warehouse project, along with an attempt to use ontology-based mechanisms to semi-automatically capture the semantics and the relationships among the various sources; (b) the provision of a novel logical model for the representation of ETL workflows with two main characteristics: genericity and customization; (c) the semi-automatic transition from the conceptual to the logical model for ETL workflows; and (d) the tuning of an ETL workflow for the optimization of the execution order of its operations. Finally, we discuss some issues on future work in the area that we consider important and a step towards the incorporation of the above research results to other areas as well.
引用
收藏
页码:1 / +
页数:3
相关论文
共 50 条
  • [31] A FORMAL SPECIFICATION OF INGRES
    BAATS, WE
    FEIJS, LMG
    GELISSEN, JHA
    ALGEBRAIC METHODS : THEORY, TOOLS AND APPLICATIONS, 1989, 394 : 207 - 245
  • [32] A formal specification of dMARS
    d'Inverno, M
    Kinny, D
    Luck, M
    Wooldridge, M
    INTELLIGENT AGENTS IV: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1998, 1365 : 155 - 176
  • [33] A FORMAL SPECIFICATION OF INGRES
    BAATS, WE
    FEIJS, LMG
    GELISSEN, JHA
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 394 : 207 - 245
  • [34] Structuring a formal specification starting from process modeling
    Riesco, D
    Montejano, G
    Uzal, R
    Sánchez, A
    Garis, AG
    Debnath, N
    COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 2002, : 248 - 251
  • [35] The Specification of ETL Transformation Operations based on Weaving Models
    Vuckovic, Milica
    Petrovic, Marko
    Turajlic, Nina
    Stanojevic, Milan
    INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2012, 7 (05) : 968 - 975
  • [36] Automatic generation of formal specification from requirements definition
    Jin, LZ
    Zhu, H
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 243 - 251
  • [37] Behavioural validation from a formal specification of smart equipment
    Choukair, C
    Bayart, M
    NEW TECHNOLOGIES FOR COMPUTER CONTROL 2001, 2002, : 171 - 176
  • [38] Formal Development of a Cardiac Pacemaker: From Specification to Code
    Gomes, Artur O.
    Oliveira, Marcel V. M.
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2011, 6527 : 210 - 225
  • [39] Generating MSCs from an integrated formal specification language
    Dong, JS
    Qin, SC
    Sun, J
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 168 - 186
  • [40] Formal Analysis of Problem Domain Workflows
    Donins, Uldis
    DATABASES AND INFORMATION SYSTEMS VII, 2013, 249 : 135 - 148