[m-dev.] functional dependencies syntax

[Julien Fischer]

On Tue, 5 Apr 2005, Ralph Becket wrote:

> Mark Brown, Tuesday,  5 April 2005:
> >
> > There has been some discussion in the office, which I shall summarise here.
> > Two main suggestions were made, both of which I am inclined to agree with.
> >
> > Suggestion 1:
> >
> > Use '->'/2 as the top-level operator for a functional dependency, and use
> > ','/2 as the operator to construct sets of type variables in the domain
> > and range of the FD.
> >
> > Some example FDs with this syntax:
> >
> > 	(A -> B)
> > 	(A, B, C -> D)
> > 	(A, B -> C, D, E)
> >
> > The drawback of this is that there is no obvious way to specify an empty
> > domain or range.
>
> I find it hard to imagine what such a thing would even mean.
>
> I like this suggestion.
>
It was your suggestion.  Of course you like it ;-)

Julien.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------