W3C home > Mailing lists > Public > xmlschema-dev@w3.org > June 2001

Intensional intersection means what?

From: Roger L. Costello <costello@mitre.org>
Date: Wed, 20 Jun 2001 08:57:13 -0400
Message-ID: <3B309DA9.6AA4EC9A@mitre.org>
To: xmlschema-dev@w3.org, costello@mitre.org
The structure's spec repeatedly uses the following phrases:

   - intensional intersection
   - intensional union
   - intensional subset

but does not define them.  Can someone tell me what they mean?  Looking
up the definition of "intensional" didn't help:

intensional: Logic. The sum of the attributes contained in a term. 

Here's one example of where "intensional intersection" is used in the
structure's spec:

"If there is an <anyAttribute> present, then a wildcard whose {process
contents} and {annotation} are those of the local wildcard, and whose
{namespace constraint} is the intensional intersection of the {namespace
constraint} of the local wildcard and of the{namespace constraint}s of
all the non-absent {attribute wildcard}s of the attribute groups
corresponding to the <attributeGroup> [children], as defined in
Attribute Wildcard Intersection"

What if the above had just said ".. is the intersection of the ...". 
Would this sentence mean anything different?  What has the "intensional"
adjective added?

Shouldn't these not-commonly-understood phrases be defined before being
used?  /Roger
Received on Wednesday, 20 June 2001 08:57:56 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 11 January 2011 00:14:21 GMT