OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

# office-formula message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]

Subject: Re: [office-formula] Expression Calculation: expression = formula?

• From: Patrick Durusau <patrick@durusau.net>
• To: robert_weir@us.ibm.com
• Date: Tue, 26 Jan 2010 10:40:45 -0500

```Rob,

robert_weir@us.ibm.com wrote:
> Patrick Durusau <patrick@durusau.net> 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
>> patrick@durusau.net
>> 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
patrick@durusau.net
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)

```

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]