Differences

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

--- magik-demo:developer:class:core:tcstatement [2013/07/19 11:39]
alex [toString]
+++ 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 121: / Line 125: @@
 Implementation for converting in String format TCStatements.
-Format:\\
+Format: **''Compl(table[term1,term2,term3])''**
-''Compl(table[term1,term2,term3])''
@@ Line 151: / Line 154: @@
 </code>
-----
+[[magik-demo:developer:class:core:tcstatement|Back to Top]] | [[magik-demo:start|Back to Home Page]]

ognjen.savkovic@wikispace