Rob,
wrote:
> Patrick Durusau <> wrote on 01/23/2010 10:20:48 AM:
>
>> I am trying to work out a normative statement from current 2.2
>> Expression Calculation.
>>
>> I stumble over sentences like: "Any formula is an expression that
>> produces a result."
>>
>> So, is an expression that doesn't produce a result not a formula?
>>
>
> I guess the question is: Is this intended to be a definition or a
> constraint?
>
> The definition of "formula" ought to be done in terms of match a
> non-terminal identifier in the BNF grammar. In other words, it is defined
> syntactically.
>
> If it is meant to be a constraint then it is a constraint on the Evaluator
> (formula processor) not the formula itself.
>
>
I am not sure why it appears under 3 Types but the opening line of 3.1
General says:
> OpenFormula expressions, including formulas, always produce a value.
>
I read the relationship between expressions and formulas to be the one
Dennis points out, that any expression prepended by one or two "=" signs
is a formula. And matches the formula BNF. Anything that matches the
expression production but not prepended by one or two "=" signs is an
expression.
What is confusing is that the text appears at points to treat
expressions as a superclass that includes all formulas.
Actually I think they are distinct classes by definition.
To restate the opening sentence of 3.1 (assuming it were placed
somewhere else in the document):
"Evaluation of OpenFormula expressions and formulas shall produce a value."
Whether we want that as a constraint on evaluators is another question.
Hope you are having a great day!
Patrick
> -Rob
>
>
>> Or are the terms expression and formula meant to be interchangeable in
>> all cases?
>>
>> My operating assumption is that they are equivalent.
>>
>> So, why not just pick one? I am indifferent to which one.
>>
>> I have several questions but will separate them for clarity's sake.
>>
>> Hope everyone is having a great weekend!
>>
>> Patrick
>>
>> --
>> Patrick Durusau
>>
>> Chair, V1 - US TAG to JTC 1/SC 34
>> Convener, JTC 1/SC 34/WG 3 (Topic Maps)
>> Editor, OpenDocument Format TC (OASIS), Project Editor ISO/IEC 26300
>> Co-Editor, ISO/IEC 13250-1, 13250-5 (Topic Maps)
>>
>>
>> ---------------------------------------------------------------------
>> To unsubscribe from this mail list, you must leave the OASIS TC that
>> generates this mail. Follow this link to all your TCs in OASIS at:
>> https://www.oasis-open.org/apps/org/workgroup/portal/my_workgroups.php
>>
>>
>
>
> ---------------------------------------------------------------------
> To unsubscribe from this mail list, you must leave the OASIS TC that
> generates this mail. Follow this link to all your TCs in OASIS at:
> https://www.oasis-open.org/apps/org/workgroup/portal/my_workgroups.php
>
>
>
--
Patrick Durusau
Chair, V1 - US TAG to JTC 1/SC 34
Convener, JTC 1/SC 34/WG 3 (Topic Maps)
Editor, OpenDocument Format TC (OASIS), Project Editor ISO/IEC 26300
Co-Editor, ISO/IEC 13250-1, 13250-5 (Topic Maps)
