W3C home > Mailing lists > Public > public-rif-wg@w3.org > June 2009

quick fix for bld Groups (& core and FLD)?

From: Chris Welty <cawelty@gmail.com>
Date: Mon, 08 Jun 2009 11:03:16 -0400
Message-ID: <4A2D2834.1070200@gmail.com>
To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>


The BLD eBNF says Groups can be empty - this is my recollection as well, but 
so-called "mathematic" syntax (2.3) and the semantics (3.4) do not reflect this.

Assuming the possibility of empty groups is allowable, then:

* section 2.3 item 6 (Groups) shoudl be updated to say something like:

As a special case, Group() is allowed and is treated as a tautology, i.e., a 
formula that is always true.

* section 3.4 item 12 (Groups) shoudl be updated to say something like:

The empty group is treated as a tautology, so TValI(Group()) = t.

Michael is on vacation.  I'm happy to make the update myself but would like a 
nod or two from someone that empty groups are desired (ignoring the fact that 
several people don't want groups at all).

-Chris

-- 
Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
cawelty@gmail.com                           Hawthorne, NY 10532
http://www.research.ibm.com/people/w/welty
Received on Monday, 8 June 2009 15:03:54 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:58 UTC