User Tools
magik-demo:developer:class:core:tcstatement
This is an old revision of the document!
A PCRE internal error occured. This might be caused by a faulty plugin
====== TC - statement ====== 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).
magik-demo/developer/class/core/tcstatement.1374224433.txt.gz · Last modified: 2017/07/06 15:24 (external edit)
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
