User Tools
This is an old revision of the document!
====== Query Generalization ====== ''**public class QueryGeneralization**'' This class is used for calculate the generalized version of a query. ===== Class Methods ===== ==== getQueryGeneralization ==== <code java> public static Query getQueryGeneralization (Query query, java.util.ArrayList<TCStatement> tcStatements, Schema schema) throws DLVInvocationException, IOException, CycleException, PrimaryKeyViolationException </code> Method used for calling the Query Generalization algorithm (that is a private method). //Called by:// * it.unibz.inf.magik.core.TCQCReasoner * it.unibz.inf.magik.test.TestQueryGeneralization **Parameters:** * Query - query that we want to find its generalized version * tcStatements - which data are complete, expressed in TC-statements * schema - database schema (that contains finite domain constraints and foreign keys) **Returns:** * specialized query founded **Throws:** * DLVInvocationException * IOException * CycleException * PrimaryKeyViolationException ---- ==== getQueryGeneralizationWithoutUnfolding ==== <code java> private static Query getQueryGeneralizationWithoutUnfolding (Query query, java.util.ArrayList<TCStatement> tcStatements, Schema schema) throws DLVInvocationException, IOException, CycleException, PrimaryKeyViolationException </code> This method executes the generalization algorithm for queries that has **no** finite domain constraints selected in the schema related to the query. **Parameters:** * Query - query that we want to find its generalized version * tcStatements - which data are complete, expressed in TC-statements * schema - database schema (that contains finite domain constraints and foreign keys) **Returns:** * specialized query founded **Throws:** * DLVInvocationException * IOException * CycleException * PrimaryKeyViolationException ---- ==== getQueryGeneralizationWithUnfolding ==== <code java> public static Query getQueryGeneralizationWithUnfolding (Query query, java.util.ArrayList<TCStatement> tcStatements, Schema schema) throws DLVInvocationException, IOException, CycleException, PrimaryKeyViolationException </code> This method executes the generalization algorithm for queries that **has** finite domain selected in the schema related to the query. **Parameters:** * Query - query that we want to find its generalized version * tcStatements - which data are complete, expressed in TC-statements * schema - database schema (that contains finite domain constraints and foreign keys) **Returns:** * specialized query founded **Throws:** * DLVInvocationException * IOException * CycleException * PrimaryKeyViolationException ---- ==== getCompleteAtoms ====
