Class UCQUnfolder

java.lang.Object

fr.inria.rules.integraal.backward_chaining.unfolding.UCQUnfolder

public class UCQUnfolder
extends Object

Unfolds pivotal UCQs into classical UCQs using a rule compilation.

Author:

Florent Tornil Unfold an pivotal-UCQ into a classical UCQ

Constructor Summary

Constructors

Constructor	Description
UCQUnfolder(CoverFunction coverFct, QueryCoreProcessor core, RuleCompilation compilation)	Creates a new UCQUnfolder using the given parameters
UCQUnfolder(RuleCompilation compilation)	Creates a new UCQUnfolder using the given parameters

Method Summary

Modifier and Type	Method	Description
Collection<Query>	unfold(Collection<Query> pivotalQueries)	Each query of the UCQ will be a core Computes a cover of the unfolding before returning it

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

UCQUnfolder

public UCQUnfolder(RuleCompilation compilation)

Creates a new UCQUnfolder using the given parameters

Parameters:

compilation - the rule compilation to use

UCQUnfolder

public UCQUnfolder(CoverFunction coverFct,
 QueryCoreProcessor core,
 RuleCompilation compilation)

Creates a new UCQUnfolder using the given parameters

Parameters:

coverFct - the cover function to use

core - the core function to use

compilation - the rule compilation to use

Method Details

unfold

public Collection<Query> unfold(Collection<Query> pivotalQueries)

Each query of the UCQ will be a core Computes a cover of the unfolding before returning it

Parameters:

pivotalQueries - a pivotal query

Returns:

the unfolding of the pivotal query by the compilation