14 citations · 16 across the 2 of their papers we have counts for
2 papers
cs.DB2010★ 2 cited
An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications
Daniel J. Dougherty
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 co…
cs.GT2010★ 14 cited
Extensional and Intensional Strategies
Tony Bourdier, Horatiu Cirstea, Daniel Dougherty +1
This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a str…