# Re: PROV-ISSUE-643 (TomDN): Include additional constraint hadMember implies hadDictionaryMember with unknown key [PROV-DICTIONARY]

From: Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Date: Mon, 25 Mar 2013 12:42:13 +0100
Message-ID: <CAPRnXtkLinH2AopVq8haQhP3utFPoxv+A_mgOWQPL0AAnamL1g@mail.gmail.com>
To: Luc Moreau <l.moreau@ecs.soton.ac.uk>

On Mon, Mar 25, 2013 at 11:14 AM, Luc Moreau <l.moreau@ecs.soton.ac.uk> wrote:
> IF hadMember(d, e) and 'Dictionary' \in typeOf(d) THEN there exists a key k
> such that hadDictionaryMember(d, e, k)
>
> - "there exists a key" ... rather than an unknown key  (if fact it can be
> known!)
> - not write "k" but k : a key is a prov-dm literal.

+1

I guess we don't need to clarify that there could be multiple keys for
the same member - the above does not require there to be a single such
key (although it might wrongly hint at that..).

--
Stian Soiland-Reyes, myGrid team
School of Computer Science
The University of Manchester

Received on Monday, 25 March 2013 11:43:01 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:51:32 UTC