Title | ||
---|---|---|
An Improved Algorithm For Generating Database Transactions From Relational Algebra Specifications |
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 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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.4204/EPTCS.21.7 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
Keywords | Field | DocType |
relation algebra,programming language | Data mining,Relational calculus,Programming language,Relational database,Computer science,Robustness (computer science),Theoretical computer science,Relational algebra,Database transaction,Codd's theorem,Conjunctive query,Algorithm,Rewriting,Database | Journal |
Volume | Issue | ISSN |
abs/1003.5 | 21 | 2075-2180 |
Citations | PageRank | References |
1 | 0.38 | 4 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel J. Dougherty | 1 | 413 | 32.13 |