[rules-users] Stateless Vs Stateful Sessions in Webtier

[Wolfgang Laun]

On Wed, Jan 20, 2010 at 12:41 PM, Simon Thum <simon.thum at gmx.de> wrote:
> Pritam wrote:
>> Drools says, for rules itself, "it doesn't matter whether you use stateless
>> or stateful ksession ..." then why is that an entire set of metadata like
>> grouping and ordering is ignored?
>
> As I understood it, a stateless session behaves as if the only object
> known to it is the one you just inserted.

The correct description, according to the Drools Expert manual, would be
that a stateless session considers all facts that are initially inserted (which
definitely may be more than one).

> Personally, I look at it like:
>
> stateless -> propositional logic
> stateful -> first-order logic
>

This is a false proposition ;-)

'not', 'exists' and 'forall' - Drools' support for first-order logic
quantifiers - is
fully available (such as all the other features for LHS) in a stateless session.

-W

> I'm not sure that's 100% true though. In any case, it depends on the
> kind of questions you like to ask. If you're not sure, test it.
> Cheers,
>
> Simon
> _______________________________________________
> rules-users mailing list
> rules-users at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/rules-users
>