User Tools
This is an old revision of the document!
====== TC - statement ====== ''**public class TCStatement**'' \\ ''**implements Serializable**'' Table Completeness (TC) statement describes a table completeness statement as it is defined by Razniewski&Nutt(VLDB2011). Namely, Compl(R(x);G) is a table completeness statement for the relation R, and under the condition G. \\ Condition G is a conjunction of atoms and x is a vector of arity R. \\ A TC statement is satisfied with a partial db D=(Di,Da) if R(x)(Di) {{:magik-demo:developer:class:core:subset_of_or_equal_to_icon_256x256.png?nolink&11|}} (R(x),G)(Da). ===== Class Attributes ===== <code java> private long id private java.lang.String name private java.util.ArrayList<Term> headSimpleTerm private java.util.ArrayList<Atom> conditionG private java.lang.String description </code> ===== Class Constructor ===== ==== TCStatement ==== <code java> public TCStatement () </code> Default constructor ---- ==== TCStatement ==== <code java> public Query (java.lang.String name, java.util.ArrayList<Atom> atoms, java.util.ArrayList<Term> outputVariables, java.lang.String description) </code> Constructor for creating a query with the most important fields not empty.\\ //Called by:// * it.unibz.inf.magik.additional.InvolvedVariablesDetector * it.unibz.inf.magik.core.QueryMinimizer * it.unibz.inf.magik.core.PreProcessor * it.unibz.inf.magik.test.TestFK * it.unibz.inf.magik.test.TestFK * it.unibz.inf.magik.test.TestFK2 * it.unibz.inf.magik.test.TestHardCaseFDCandFK * it.unibz.inf.magik.test.TestPrimaryVioation * it.unibz.inf.magik.test.TestQueryClass * it.unibz.inf.magik.test.TestQueryGeneralization * it.unibz.inf.magik.test.TestQueryToSQL * it.unibz.inf.magik.test.TestSimpleComparison * it.unibz.inf.magik.test.TestTCQCReasonerBlackWhiteExample * it.unibz.inf.magik.test.TestTCQCReasonerFKandFD * it.unibz.inf.magik.test.TestTCQCReasonerPlainCompanyEx * it.unibz.inf.magik.test.TestTCQCReasonerPlainSchoolEx * it.unibz.inf.magik.test.TestTCQCReasonerTCSuggestions * it.unibz.inf.magik.test.TestTCQCReasonerUnderFDC * it.unibz.inf.magik.test.TestValQueryProblem * it.unibz.inf.magik.test.UnificationTest **Parameters:** * name - name of query * atoms - atoms of the query * outputVariables - terms that we want to see in output of the query * description - description of what query does ---- ==== Atom ==== <code java> public Query (java.lang.String name, java.lang.String SQLString, java.lang.String description, Schema schema) throws ParseSQLQueryException, ContextException </code> Constructor for creating a query by parsing SQL string.\\ //Called by:// * it.unibz.inf.magik.web.SessionControl * it.unibz.inf.magik.test.TestQueryClass * it.unibz.inf.magik.test.TestQueryToSQL **Parameters:** * name - name of query * SQLString - string that contains Query in SQL code * outputVariables - terms that we want to see in output of the query * description - description of what query does **Throws:** * ParseSQLQueryException * ContextException ===== Class Methods ===== ==== applyCondition ==== <code java> private void applyCondition (java.lang.String termOld, java.lang.String termNew, java.util.HashMap<java.lang.String, java.lang.String> termEquality) throws ParseSQLQueryException </code> Apply one or more conditions to a query **Parameters:** * termOld - original term * termNew - new term * termEquality - map for knowing which term are equal **Throws:** * ParseSQLQueryException ----
