An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications

Details An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications

2010-03-28

arxiv.org/abs/1003.5350v1

EPTCS 21, 2010, pp. 77-89

Computer Science

Databases

Scientific paper

10.4204/EPTCS.21.7

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.

Affiliated with

Also associated with

No associations

Rating

An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-127620