RE: [xacml] Revised specification - added matching functions

[Daniel Engovatov <dengovatov@crosslogix.com>]

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<>.
What are their result for an empty sequence?  They should produce an error,
as specified for an empty sequence.

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

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.
>
>