[dsdl-comment] Re: Once or twice? (NVDL)

Sure.

The first and second bullets in the itemized list in Clause 8.6 are
slightly defective. In this mail, I only consider the first bullet.

        PlanElem = { (v, e) | (s, v, e) in Z, and |e| >= |e'| for any (s,
        v, e') in Z}, where Z is the set of triplets (s, v, e) such that
        s is an element section, v is a validate action, e is an element,
        v = IA(s), and e = syn[I](s)

Since this definition is set-theroretic, there are no duplicates in
PlanElem. That is, if (v1, e1) and (v2, e2) are contained by PlanElem,
either two validate actions v1 and v2 are unequal or two elements e1 and
e2 are unequal.

I believe that the definition of equality of e1 and e2
is clear. e1 = e2 exactly when neither e1 precedes e2 in the document
order nor e2 precedes e1 in the document order.

But I am not sure if the definition of equality of v1 and v2 is clear.
One could argue that v1 = v2 exactly when v1 and v2 are represtend by
the same element (after simplification of NVDL scripts). One could
also argue that v1 = v2 when they specify the same schema and specify
the same options. The former interpretation leads to validation twice
while the second leads to validation once. Is this a fanatical concern?

Cheers,

-- 
MURATA Makoto <murata@hokkaido.email.ne.jp>
--
DSDL comments
To unsubscribe, please send a message with the
command  "unsubscribe" to dsdl-comment-request@dsdl.org
(mailto:dsdl-comment-request@dsdl.org?Subject=unsubscribe)