4 Jul
2007
4 Jul
'07
2:21 p.m.
On Wed, Jul 04, 2007 at 05:35:44PM +0100, Simon Peyton-Jones wrote:
Have you read "Understanding functional dependencies via Constraint Handling Rules"? http://research.microsoft.com/~simonpj/papers/fd-chr
If not, I urge you to consider doing so. It goes into the whole thing in great detail. I'm submerged for the next 3 weeks, though others may be able to help you.
Simon, I knew I had a "to read" scribbled down in the back of my mind somewhere, but it had slipped out. I will read that paper and see how far I get (although it still seems that it should be possible to relax the covering condition somewhat, being that the example I gave is decidable on paper ;) ) Thank you for the reference. Regards, Philip