[tmcl-wg] FYI: TMSchema presentation updated

[Dmitry]

On Mar 27, 2004, at 7:40 PM, Robert Barta wrote:

>
> - TMSchema is VERY verbose. And it suffers from the same problem as=20
> tolog
>   in the sense that you cannot keep things together which belong=20
> together:
>
>
>       baseNameSchema (composer, baseName, ....)
>       ...
>       baseNameSchema (composer, baseName/short, ...)
>
>   I HAVE to separate them into different clauses.
>

On the second thought, even with LTM-like syntax it is possible to have=20=

more compact description.

Sample from presentation can be re- written as:

[composer : musician =3D =93Composer=94, {
      baseNameSchema(baseName, {cardMin=3D1,cardMax=3D1}),
      baseNameSchema(baseName/normal, {cardMin=3D1,cardMax=3D1}),
     =20
internalOccurrenceSchema(born,{cardMin=3D1,cardMax=3D1,dataType=3D=94date=94=
}),
      externalOccurrnceSchema(website,{cardMin=3D1}),
      playRoleSchema(who,bornIn, {cardMin=3D1,cardMax=3D1,
           roleSchema(where, {cardMin=3D1,cardMax=3D1,=20
allPlayersFrom=3D[location]) })
}]

I did not really worked on "end user" syntax yet. I was more=20
concentrated on thinking about constraints in terms of "information=20
sets".

Robert,

Thanks a lot for your feedback.


Dmitry