Re: Relation Schemata vs. Relation Variables

Brian Selzer wrote:
> "Jan Hidders" <hidders_at_gmail.com> wrote in message
> news:1157457516.222077.154380_at_b28g2000cwb.googlegroups.com...
> >
> > Sets of facts can and do change, and transitional constraints restrict
> > wich transitions from one set of fact to another are allowed. I don't
> > see a fundamental problem here. Note btw. that they are a strict
> > subclass of the restrictions that might be expressed by some kind of
> > temporal logic.
>
> I don't understand what you mean. Are you saying that transition
> constraints can be expressed as state constraints?

A transitional constraint is a binary predicate over states. One argument is the old state and the other the new state. Or, put in another way, a transition constraint constrains the transitions. This, I would say, is pretty much the definition of the term.

Or did I misunderstand your question and are you asking about temporal logics?

• Jan Hidders