public class ProgramGenerator

This class generates EDB (Extensional Database) and translate the schema constraints into a DLV program

No attributes for this class

No constructor for this class

For better comprehension of the class, the figure underlying illustrates the dependencies between methods.

public static java.util.ArrayList<java.lang.String> generateProgram (Query relQ, 
                                                                     java.util.ArrayList <TCStatement> tcs,
                                                                     boolean semantics, 
                                                                     Schema schema, 
                                                                     boolean isThereComparisons ) 
                                                              throws CycleException, 
                                                                     PrimaryKeyViolationException

This method managing all the process of generation of the DLV program.

Parameters:

• relQ - query that we want to analyze
• tcs - TC-statements selected
• semantics - TRUE if distinct-set semantics, FALSE if none-multiset semantics
• isThereComparison

Returns:

• DLV program associated to the parameters given

Exceptions:

• CycleException
• PrimaryKeyViolationException

private static java.lang.String makeEDB (Query relQ, 
                                         boolean isUnfolding)

An internal auxiliary function, needed for conversion of query to prototypical EDB.

Parameters:

• relQ - query that we want to analyze
• isUnfolding - TRUE if unfolding needed, FALSE no unfolding

Returns:

• String with the extensional database definition

private static java.util.ArrayList<java.lang.String> makeP_TC (java.util.ArrayList <TCStatement> tcs, 
                                                               boolean isUnfolding)

Creates the line of the program related to a list of rules out of a set of TC statements

Parameters:

• relQ - query that we want to analyze
• isUnfolding - TRUE if unfolding needed, FALSE no unfolding

Returns:

• List of line of program related to TC-Statements given

private static java.lang.String makeQ_a (Query Q, 
                                         boolean semantics, 
                                         boolean isUnfolding)

This method generates line of program for a given query

Parameters:

• Q - query that we want to generate the program
• semantics - TRUE if distinct-set semantics, FALSE if none-multiset semantics
• isUnfolding - TRUE if unfolding needed, FALSE no unfolding

Returns:

• line of program associated to the query

private static java.util.ArrayList<java.lang.String> makeFDC_Rules ( java.util.ArrayList<FiniteDomainConstraint> fdcs)

This method generates the lines of program for all the finite domain constraints selected.

Parameter:

• fdcs - finite domain constraints to convert

Returns:

• list of lines of program for the finite domain constraints given

private static java.lang.String createValFunctionalityContraint ()

Returns:

• String of val functionality

public static java.lang.String generatePredicateOriginal (Query query)

This method generates the lines of program for the original predicate.

Parameter:

• query - query that has to be converted

Returns:

• list of lines of program for the original predicate of the query

static java.lang.String makeEDB_Atom (Atom atom, 
                                      boolean isUnfolding)

An internal auxiliary function, needed for conversion of atoms of the query to prototypical EDB.

Parameters:

• atom - atom that we want to convert
• isUnfolding - TRUE if unfolding needed, FALSE no unfolding

Return

• String with the extensional database definition of the atom

private static java.lang.String TCToString (TCStatement tc, 
                                            boolean isUnfolding)

An internal auxiliary function converts TCStatement into a string readable by DLV as a rule TC = (R(s),G) is converted into R_a(s) :- R(s), G; Parameters:

• atom - atom that we want to convert
• isUnfolding - TRUE if unfolding needed, FALSE no unfolding

Return

• String with the TC-statement convert into line of code

static Atom makeBodyAtom (Atom atom, 
                          boolean semantics, 
                          boolean isUnfolding, 
                          java.util.ArrayList<Term> distinguished)

Parameters:

• atom - atom
• semantics - TRUE if distinct-set semantics, FALSE if none-multiset semantics
• isUnfolding - TRUE if unfolding needed, FALSE no unfolding
• distiguished - list of the terms distinguished

Return

• Atom with the distinguished terms

static Atom make_a (Atom atom)

This function takes an atom and return the same one but with _a prefix to the name

Parameters:

• atom - atom that we want to convert

Return

• atom with _a prefix to the name

static java.lang.String make_Q_a_vals (Atom atom, 
                                       Atom unfoldedAtom, 
                                       boolean semantics, 
                                       boolean isUnfolding, 
                                       java.util.ArrayList<Term> distinguished)

Parameters:

• atom - atom that we want to convert
• unfoldedAtom - atom unfolded
• semantics - TRUE if distinct-set semantics, FALSE if none-multiset semantics
• isUnfolding - TRUE if unfolding needed, FALSE no unfolding
• distiguished - list of terms distinguished

Return

• String with val in query Q_a

public static java.util.ArrayList<java.lang.String> makeSkolemRule (ForeignKey fk, 
                                                                    boolean isUnfolding)

Apply Skolem rule to foreign key

Parameters:

• fk - foreign key
• isUnfolding - TRUE if unfolding needed, FALSE no unfolding

Return

• list of …

public static java.lang.String makeAuxRule (ForeignKey fk, 
                                            boolean isUnfolding)

Create aux rule from a foreign key

Parameters:

• fk - foreign key to convert
• isUnfolding - TRUE if unfolding needed, FALSE no unfolding

Return

• Line of code for aux rule for foreign key

public static java.lang.String makeCopyRule (ForeignKey fk, 
                                             boolean isUnfolding)

Make the copy rule for a given foreign key

Parameters:

• fk - foreign key that needs the copy rule
• isUnfolding - TRUE if unfolding needed, FALSE no unfolding

Return

• Line of code for copy rule related to the foreign key

static java.lang.String unfoldTC_Atom (Atom atom, 
                                       boolean isUnfolding)

Creates the line of code related to unfolded atom of the TC-statement

Parameters:

• atom - atom that we want to unfold
• isUnfolding - TRUE if unfolding needed, FALSE no unfolding

Return

• Line of code generated for the unfolded atom

static java.lang.String make_a (java.lang.String atom){

This function takes an atom (in String format) and return the same one but with _a prefix to the name

Parameters:

• atom - atom that we want to convert

Return

• String of the atom with the _a prefix

static java.lang.String makeDoubleVal (Term a, 
                                       Term b)

Parameters:

• a - term
• b - term

Return

• String

static java.lang.String makeVal (Term a, 
                                 Term b)

Create the val line of code for two terms

Parameters:

• a - term
• b - associated term to assign to term a

Return

• Val rule for the term a assigned the value of the term b

private static java.lang.StringBuilder createMaybe_V_vector_Y (boolean isUnfolding, 
                                                               int keyTarget)

Parameters:

• isUnfolding - TRUE if unfolding needed, FALSE no unfolding
• keyTarget - key taget

Return

• String Builder

private static StringBuilder create_vector_Y (int keyTarget)

Parameters:

• keyTarget - index of the key target

Return

• String Builder

Back to Top | Back to Home Page