> > -----Original Message-----
> > From:
> > xsb-development-bounces-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@xxxxxxxxxxxxxxxx
> > [mailto:xsb-
> > development-bounces-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@xxxxxxxxxxxxxxxx] On
> > Behalf Of Michael Kifer
> > Sent: Tuesday, October 09, 2007 11:28 AM
> > To: David Warren
> > Cc: xsb-development-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@xxxxxxxxxxxxxxxx;
> > flora-
> > users-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@xxxxxxxxxxxxxxxx; PhiHo Hoang;
> > 'Terrance Swift'
> > Subject: Re: [Xsb-development] [Flora-users] Benchmarks
> >
> >
> > > Michael Kifer writes:
> > > >
> > > > We did not find that specialization works for us. Perhaps for some
> > > > programs, but not for our benchmarks.
> > > > In fact, for the combination of F-logic and HiLog the gain should
> > > > be minimal. So, Flora, in fact, disables specialization due to some
> > > > other negative considerations.
> > >
> > > The assumption made in the paper, which resulted in the 10%-13%
> > > number, was that they were essentially Prolog programs, except using
> > > variable or structured predicate names. Flora has MUCH more going
> > > on, being a compiler that generates XSB code. The Prolog programs
> > > generated by Flora are programs no user would ever write by hand
> > > (which is one of the strengths of Flora, but also one of the
> > > difficulties in getting an efficient implementation by translating to
> > > Prolog.)
> >
> > Right. In F-logic + HiLog the vars are over function symbols (usually
> > in the 2nd argument), not predicates, so specialization does not help
> > much. On top of it, we discovered (and reported) a bug, where
> implementation
> > of the specialization was causing an error. So, this was the ultimate
> reason
> > to disable this feature.
> >
> >
> > --michael
>
>
> What about "out of the box" HiLog from XSB, how is it doing?
probably ok.
> How easy is it to implement multi-argument indexing?
Depends what you mean by easy. Just takes a lot of time.
>
> Is it something that can be leveraged from big DBMS like MS SQL and Oracle?
This has nothing to do with database indexing.
>
>
> Regards,
>
> PhiHo.
>
>
>
> -------------------------------------------------------------------------
> This SF.net email is sponsored by: Splunk Inc.
> Still grepping through log files to find problems? Stop.
> Now Search log events and configuration files using AJAX and a browser.
> Download your FREE copy of Splunk now >> http://get.splunk.com/
> _______________________________________________
> Flora-users mailing list
> Flora-users-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@xxxxxxxxxxxxxxxx
> https://lists.sourceforge.net/lists/listinfo/flora-users
>
-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems? Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
|
