Differences

This shows you the differences between two versions of the page.

--- magik-demo:developer:class:core:tcstatement [2013/07/19 11:26]
alex [applyCondition]
+++ magik-demo:developer:class:core:tcstatement [2017/07/06 15:24] (current)
@@ Line 6: / Line 6: @@
 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. \\
+{{ :magik-demo:developer:schema2.png?nolink&600 |}}
-Condition G is a conjunction of atoms and x is a vector of arity R. \\
+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).
@@ Line 20: / Line 24: @@
 </code>
-===== Class Constructor =====
+===== Class Constructors =====
 ==== TCStatement ====
 <code java>
@@ Line 87: / Line 91: @@
 ----
-==== getter and setter methods ====
+==== clone ====
 <code java>
-	public Relation getRelation()
+@Override
-	public void setRelation(Relation r)
+public Object clone ()
+</code>
-        public java.util.ArrayList<Term> getHeadSimpleTerms()
-	public void setHeadSimpleTerms(java.util.ArrayList<Term> headSimpleTerms)
-	public java.util.ArrayList<Atom> getConditionG()
+**Returns:**
-	public void setConditionG(java.util.ArrayList<Atom> conditionG)
+  * cloned object (TCStatement type)
-	public long getId()
-	public void setId(long id)
-	public String getDescription()
+----
-	public void setDescription(java.lang.String description)
+==== equals ====
+<code java>
+@Override
+public boolean equals (Object o)
+</code>
+Implementation for checking the equality for TCStatement
+**Returns:**
+  * //true// if equal, //false// otherwise
-	public String getName()
-	public void setName(java.lang.String name)
 ----
+==== 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]]

ognjen.savkovic@wikispace

User Tools

Site Tools

Differences

Page Tools