Re: What databases have taught me
From: erk <eric.kaun_at_gmail.com>
Date: 28 Jun 2006 12:00:49 -0700
Message-ID: <1151521249.558350.213670_at_b68g2000cwa.googlegroups.com>
Date: 28 Jun 2006 12:00:49 -0700
Message-ID: <1151521249.558350.213670_at_b68g2000cwa.googlegroups.com>
Bob Badour wrote:
> I don't have time to read this paper right now. Recalling the last paper
> you cited referencing Alloy, I didn't see anything in it that I thought
> competed with predicate calculus. Are you suggesting it has some
> advantage for constraints over a WFF ?
- erk