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) (R(x),G)(Da).

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

public TCStatement ()

Default constructor

public TCStatement (Relation relation,  
                    java.util.ArrayList<Term> headSimpleTerms,
		    java.util.ArrayList<Atom> conditionG, 
                    java.lang.String description, 
                    java.lang.String name) 

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

private void applyCondition (java.lang.String termOld, 
                             java.lang.String termNew, 
                             java.util.HashMap<java.lang.String, java.lang.String> termEquality) 
                      throws ParseSQLQueryException 

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

@Override
public Object clone () 

Returns:

• cloned object (TCStatement type)

@Override
public boolean equals (Object o) 

Implementation for checking the equality for TCStatement

Returns:

• true if equal, false otherwise

@Override
public String toString () 

Implementation for converting in String format TCStatements.

Format: Compl(table[term1,term2,term3])

Returns:

• String version of the TC - statement

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) 

Back to Top | Back to Home Page