[Bug 24568] Is the type system really a lattice? Or just a partially ordered set?

https://www.w3.org/Bugs/Public/show_bug.cgi?id=24568

--- Comment #1 from Norman Walsh <ndw@nwalsh.com> ---
The minutes of XML Query WG Face-To-Face Meeting #563 Minutes -- 2014-02-17 DAY
ONE (https://lists.w3.org/Archives/Member/w3c-xsl-query/2014Feb/0095.html)
record:

J4.1.1 Bug 24568 - Is the type system really a lattice? Or just a 
partially ordered set?
https://www.w3.org/Bugs/Public/show_bug.cgi?id=24568

Mike: I think that if you look at it certain ways the types may form a 
lattice, but if you look at just the types you have syntax for they 
don't. Propose removing the claim that it is a lattice.

No objections.

DECISION: Make the editorial change to remove the description of the 
type system as a lattice, adding a note that the type system is not a 
hierarchy.

In addition, I see that the 3.1 data model now says, in part:

"Item types in the data model form a directed graph, rather than a hierarchy or
lattice: ..."

I propose that this bug can be closed as overtaken by events.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Monday, 13 October 2014 16:36:38 UTC