ognjen.savkovic@wikispace

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).