An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications

被引：0
|
作者：
Dougherty, Daniel J. [1 ]
机构：
[1] Worcester Polytech Inst, Worcester, MA 01609 USA
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2010年 / 21期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Alloy is a lightweight modeling formalism based on relational algebra. In prior work with Fisler, Giannakopoulos, Krishnamurthi, and Yoo, we have presented a tool, Alchemy, that compiles Alloy specifications into implementations that execute against persistent databases. The foundation of Alchemy is an algorithmfor rewriting relational algebra formulas into code for database transactions. In this paper we report on recent progress in improving the robustness and efficiency of this transformation.
引用
收藏
页码：77 / 89
页数：13
相关论文
共 50 条
  • [1] Generating relational database transactions from eb 3 attribute definitions
    Gervais, Frederic
    Frappier, Marc
    Laleau, Regine
    [J]. SOFTWARE AND SYSTEMS MODELING, 2009, 8 (03): : 423 - 445
  • [2] Generating relational database transactions from eb3 attribute definitions
    Frédéric Gervais
    Marc Frappier
    Régine Laleau
    [J]. Software & Systems Modeling, 2009, 8 : 423 - 445
  • [3] Generating relational database transactions from recursive functions defined on EB3 traces
    Gervais, F
    Frappier, M
    Laleau, R
    [J]. SEFM 2005: Third IEEE International Conference on Software Engineering and Formal Methods, Proceedings, 2005, : 117 - 126
  • [4] Generating OWL Ontology from Relational Database
    Choi, Ji Woong
    Kim, Myung Ho
    [J]. 2012 THIRD FTRA INTERNATIONAL CONFERENCE ON MOBILE, UBIQUITOUS, AND INTELLIGENT COMPUTING (MUSIC), 2012, : 53 - 59
  • [5] AN IMPROVED ALGORITHM FOR MINING ASSOCIATION RULE IN RELATIONAL DATABASE
    Wang, Pei
    An, Chunhong
    Wang, Lei
    [J]. PROCEEDINGS OF 2014 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOL 1, 2014, : 247 - 252
  • [6] Rules and Implementation for Generating Ontology from Relational Database
    Ren, Yutao
    Jiang, Lihong
    Bu, Fenglin
    Cai, Hongming
    [J]. SECOND INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING / SECOND INTERNATIONAL CONFERENCE ON SOCIAL COMPUTING AND ITS APPLICATIONS (CGC/SCA 2012), 2012, : 237 - 244
  • [7] Translating object-oriented database transactions into relational transactions
    Fong, J
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (01) : 41 - 51
  • [8] A Tool for Generating Relational Database Schema from EER Diagram
    Simasatitkul, Lisa
    Suwannasart, Taratip
    [J]. INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, IMECS 2012, VOL I, 2012, : 801 - 805
  • [9] Generating Event-B Specifications from Algorithm Descriptions
    Clark, Joy
    Bendisposto, Jens
    Hallerstede, Stefan
    Hansen, Dominik
    Leuschel, Michael
    [J]. ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z (ABZ 2016), 2016, 9675 : 183 - 197
  • [10] AN IMPROVED ALGORITHM BASED ON SUBSET CLOSURES FOR SYNTHESIZING A RELATIONAL DATABASE SCHEME
    YANG, CC
    LI, G
    NG, PAB
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (11) : 1731 - 1738
12345