> -----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?
How easy is it to implement multi-argument indexing?
Is it something that can be leveraged from big DBMS like MS SQL and Oracle?
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/
|
