RE: [xacml] Revised specification - added matching functions

[Polar Humenn <polar@syr.edu>]

There is no reason to restrict round to a non-empty sequence.
That is why I believe we should have two functions, round and map_round.

You will not be able to apply your "round" to a non-sequenced
"<xs:decimal>".

On Wed, 21 Aug 2002, Daniel Engovatov wrote:

>
> I am revising the spreadsheet anyway - some functions were missing - I will
> send it out soon.
>
> But I do not think there is a problem with this - we naturally have all
> arguments as sequences anyway - due to the nature of attribute selection in
> context.  There is nothing confusing about what this functions return as
> they will provide the exact same result on single<type> as on
> ne_sequence<type>.  Whatever function consumes their result will deal with
> the
> sequence being of incorrect length.
>
> Use case would be:  if context has multiple values of a decimal argument
> foo, and you want to check whether at least one of the values, rounded, is
> equal to an integer 3.
>
> you will use (member_of ((attribute value type=int)3) (round (attribute
> selector name=foo)))
>
>
> On the other hand I would not advice specifying map_X functions with
> sequence<type>, instead of ne_sequence<>.

Why not.

> What are their result for an empty sequence?  They should produce an error,
> as specified for an empty sequence.

If applied to a function that requires a non-empty sequence, yes. But some
do not have to be applied to non-empty sequences.

> So you addition does seem to clarify anything, but introduces a
> unspecified behaviour for an empty sequence..

There is no unspecified behavior for an empty sequence. Empty sequences
can be your "set" with nothing in them.

> Daniel.
>
>
> -----Original Message-----
> From: Polar Humenn [mailto:polar@syr.edu]
> Sent: Wednesday, August 21, 2002 10:51 AM
> To: Daniel Engovatov
> Cc: ''''Tim Moses' ' ' '; ''''XACML' ' ' '
> Subject: RE: [xacml] Revised specification - added matching functions
>
>
>
> Danel,
>
> I have an issue with :
>
> 22	round	ne_sequence<xs:decimal>	ne_sequence<xs:decimal>
> 23	floor	ne_sequence<xs:decimal>	ne_sequence<xs:decimal>
> 24	abs	ne_sequence<xs:decimal>	ne_sequence<xs:decimal>
> 25	integer	ne_sequence<xs:integer>	ne_sequence<xs:decimal>
> 26	decimal	ne_sequence<xs:decimal>	ne_sequence<xs:integer>
>
>
> These functions which you would assume apply to numbers apply to
> non empty sequences.
>
> I would prefer:
>
> round              xs:decimal xs:decimal
> floor              xs:decimal xs:decimal
> abs                xs:decimal xs:decimal
> integer_to_decimal xs:integer xs:decimal
> decimal_to_integer xs:decimal xs:integer
>
> and their "map" equivalents, if they are really needed.
>
> map_round              sequence<xs:decimal> sequence<xs:decimal>
> map_floor              sequence<xs:decimal> sequence<xs:decimal>
> map_abs                sequence<xs:decimal> sequence<xs:decimal>
> map_integer_to_decimal sequence<xs:integer> sequence<xs:decimal>
> map_decimal_to_integer sequence<xs:decimal> sequence<xs:integer>
>
> The new proposed spreadsheet is attached.
>
> Cheers,
> -Polar
>
> On Mon, 19 Aug 2002, Daniel Engovatov wrote:
>
> >
> >
> > Attached.
> >
> >
>
>
> ----------------------------------------------------------------
> To subscribe or unsubscribe from this elist use the subscription
> manager: <http://lists.oasis-open.org/ob/adm.pl>
>