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). {{ :magik-demo:developer:schema2.png?nolink&600 |}} 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 Constructors ===== ==== TCStatement ==== <code java> public TCStatement () </code> Default constructor ---- ==== TCStatement ==== <code java> public TCStatement (Relation relation, java.util.ArrayList<Term> headSimpleTerms, java.util.ArrayList<Atom> conditionG, java.lang.String description, java.lang.String name) </code> Constructor for creating a tc-stmt filled.\\ //Called by:// * it.unibz.inf.magik.web.SessionControl * it.unibz.inf.magik.core.TCSuggestions * it.unibz.inf.magik.additional.InvolvedVariablesDetector * it.unibz.inf.magik.test.TestFK * it.unibz.inf.magik.test.TestHardCaseFDCandFK * it.unibz.inf.magik.test.TestSimpleComparison * it.unibz.inf.magik.test.TestTCQCReasonerBlackWhiteExample * it.unibz.inf.magik.test.TestTCQCReasonerPlainCompanyEx * it.unibz.inf.magik.test.TestValQueryProblem * it.unibz.inf.magik.test.TestTCQCReasonerUnderFDC * it.unibz.inf.magik.test.TestFK * it.unibz.inf.magik.test.TestFK2 * it.unibz.inf.magik.test.TestTCQCReasonerPlainSchoolEx * it.unibz.inf.magik.test.TestQueryGeneralization * it.unibz.inf.magik.test.TestTCQCReasonerFKandFD * it.unibz.inf.magik.test.TestQueryClass **Parameters:** * relation * headSimpleTerms * conditionG * description * name ===== 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 ---- ==== clone ==== <code java> @Override public Object clone () </code> **Returns:** * cloned object (TCStatement type) ---- ==== equals ==== <code java> @Override public boolean equals (Object o) </code> Implementation for checking the equality for TCStatement **Returns:** * //true// if equal, //false// otherwise ---- ==== toString ==== <code java> @Override public String toString () </code> Implementation for converting in String format TCStatements. Format: **''Compl(table[term1,term2,term3])''** **Returns:** * String version of the TC - statement ---- ==== getter and setter methods ==== <code java> public Relation getRelation() public void setRelation(Relation r) public java.util.ArrayList<Term> getHeadSimpleTerms() public void setHeadSimpleTerms(java.util.ArrayList<Term> headSimpleTerms) public java.util.ArrayList<Atom> getConditionG() public void setConditionG(java.util.ArrayList<Atom> conditionG) public long getId() public void setId(long id) public String getDescription() public void setDescription(java.lang.String description) public String getName() public void setName(java.lang.String name) </code> [[magik-demo:developer:class:core:tcstatement|Back to Top]] | [[magik-demo:start|Back to Home Page]] ----
