@conference{ w_rule09,
  author = {Daniel J.\ Dougherty},
  title = {An Improved Algorithm for Generating Database
                  Transactions from Relational Algebra Specifications},
  booktitle = {Proc. 10th International Workshop on Rule-Based
                  Programming (RULE)},
  year = {2009},
  abstract = {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 algorithm for 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.},
  url = {rule09.pdf}
}

{"_id":{"_str":"51f6934359ced8df44000e63"},"__v":1,"authorIDs":[],"author_short":["Dougherty, D.<nbsp>J.\\"],"bibbaseid":"dougherty-animprovedalgorithmforgeneratingdatabasetransactionsfromrelationalalgebraspecifications-2009","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"w_rule09\"> </a>An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications.</span>\n\t<span class=\"bibbase_paper_author\">\nDougherty, D.&nbsp;J.\\</span>\n\t<!-- <span class=\"bibbase_paper_year\">2009</span>. -->\n</span>\n\n\n\n 2009.\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n <!-- <i -->\n <!-- onclick=\"javascript:log_download('dougherty-animprovedalgorithmforgeneratingdatabasetransactionsfromrelationalalgebraspecifications-2009', 'http://web.cs.wpi.edu/~dd/publications/rule09.pdf')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://web.cs.wpi.edu/~dd/publications/rule09.pdf\"\n onclick=\"javascript:log_download('dougherty-animprovedalgorithmforgeneratingdatabasetransactionsfromrelationalalgebraspecifications-2009', 'http://web.cs.wpi.edu/~dd/publications/rule09.pdf')\">\n <img src=\"http://bibbase.org/img/filetypes/pdf.png\"\n\t alt=\"An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications [.pdf]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\" ><span class=\"bibbase_icon_text\">Paper</span></a> \n &nbsp;\n \n \n <a href=\"javascript:showBib('w_rule09')\"\n class=\"bibbase link\">\n <!-- <img src=\"http://bibbase.org/img/filetypes/bib.png\" -->\n\t<!-- alt=\"An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications [bib]\" -->\n\t<!-- class=\"bibbase_icon\" -->\n\t<!-- style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span> -->\n BibTeX\n <i class=\"fa fa-caret-down\"></i></a>\n \n \n &nbsp;\n <a class=\"bibbase_abstract_link bibbase link\"\n href=\"javascript:showAbstract('w_rule09')\">\n Abstract\n <i class=\"fa fa-caret-down\"></i></a>\n \n \n \n\n \n \n \n</span>\n\n<div class=\"well well-small bibbase\" id=\"bib_w_rule09\"\n style=\"display:none\">\n <pre>@conference{ w_rule09,\n author = {Daniel J.\\ Dougherty},\n title = {An Improved Algorithm for Generating Database\n Transactions from Relational Algebra Specifications},\n booktitle = {Proc. 10th International Workshop on Rule-Based\n Programming (RULE)},\n year = {2009},\n abstract = {Alloy is a lightweight modeling formalism based on\n relational algebra. In prior work with Fisler,\n Giannakopoulos, Krishnamurthi, and Yoo, we have\n presented a tool, Alchemy, that compiles Alloy\n specifications into implementations that execute\n against persistent databases. The foundation of\n Alchemy is an algorithm for rewriting relational\n algebra formulas into code for database transactions.\n In this paper we report on recent progress in\n improving the robustness and efficiency of this\n transformation.},\n url = {rule09.pdf}\n}</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" id=\"abstract_w_rule09\"\n style=\"display:none\">\n 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 algorithm for 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.\n</div>\n\n\n</div>\n","downloads":0,"bibbaseid":"dougherty-animprovedalgorithmforgeneratingdatabasetransactionsfromrelationalalgebraspecifications-2009","urls":{"Paper":"http://web.cs.wpi.edu/~dd/publications/rule09.pdf"},"role":"author","abstract":"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 algorithm for 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.","author":["Dougherty, Daniel J.\\"],"author_short":["Dougherty, D.<nbsp>J.\\"],"bibtex":"@conference{ w_rule09,\n author = {Daniel J.\\ Dougherty},\n title = {An Improved Algorithm for Generating Database\n Transactions from Relational Algebra Specifications},\n booktitle = {Proc. 10th International Workshop on Rule-Based\n Programming (RULE)},\n year = {2009},\n abstract = {Alloy is a lightweight modeling formalism based on\n relational algebra. In prior work with Fisler,\n Giannakopoulos, Krishnamurthi, and Yoo, we have\n presented a tool, Alchemy, that compiles Alloy\n specifications into implementations that execute\n against persistent databases. The foundation of\n Alchemy is an algorithm for rewriting relational\n algebra formulas into code for database transactions.\n In this paper we report on recent progress in\n improving the robustness and efficiency of this\n transformation.},\n url = {rule09.pdf}\n}","bibtype":"conference","booktitle":"Proc. 10th International Workshop on Rule-Based Programming (RULE)","id":"w_rule09","key":"w_rule09","title":"An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications","type":"conference","url":"rule09.pdf","year":"2009"},"bibtype":"conference","biburl":"http://web.cs.wpi.edu/~dd/publications/index.bib","downloads":0,"search_terms":["improved","algorithm","generating","database","transactions","relational","algebra","specifications","dougherty"],"title":"An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications","year":2009,"dataSources":["HB5RrPb3Y5aikRoLH"]}