User Tools
magik-demo:developer:class:core:querygeneralization
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
magik-demo:developer:class:core:querygeneralization [2013/07/22 14:53] alex |
magik-demo:developer:class:core:querygeneralization [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| This class is used for calculate the generalized version of a query. | This class is used for calculate the generalized version of a query. | ||
| + | ===== Class Attributes ===== | ||
| - | ---- | + | <code java> |
| + | public static long executionTime | ||
| + | </code> | ||
| + | ===== Class Constructor ===== | ||
| + | No constructor for this class | ||
| ===== Class Methods ===== | ===== Class Methods ===== | ||
| Line 21: | Line 26: | ||
| PrimaryKeyViolationException | PrimaryKeyViolationException | ||
| </code> | </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 ==== | ||
| + | <code java> | ||
| + | private static java.util.ArrayList<Atom> getCompleteAtoms (java.util.ArrayList<Atom> currentQueryAtoms, | ||
| + | java.util.ArrayList<Model> counterModels, | ||
| + | Schema schema) | ||
| + | </code> | ||
| + | |||
| + | This method is used to investigate if each atom of the query is in all the counter models, because if it is not, it has to be removed from the query atoms. | ||
| + | |||
| + | **Parameters:** | ||
| + | * currentQueryAtoms - list of all the atoms that are inside the query | ||
| + | * counterModels - all the counter models found for the current query | ||
| + | * schema - database schema | ||
| + | |||
| + | **Returns:** | ||
| + | * list of atoms that are in all the counter models | ||
| + | |||
| + | [[magik-demo:developer:class:core:querygeneralization|Back to Top]] | [[magik-demo:start|Back to Home Page]] | ||
magik-demo/developer/class/core/querygeneralization.1374497603.txt.gz · Last modified: 2017/07/06 15:24 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
