Re: Lots of Idiotic Silly Braces?

On Jul 19, 11:54 pm, "Brian Selzer" <br...@xxxxxxxxxxxxxxxxxxx> wrote:


Can rva's be keys? A relation value being the extension of a predicate, the
set of tuples in a relation value represents a set of positive atomic
formulae, and under the closed world assumption, that set implies the
negation of each atomic formula that conforms to the schema but is not
represented by a tuple. How, then, can a relation valued attribute be a
key? Consider, the schema R{S{A, B}}, and the following relation value, r:

r = {{S={{A=3, B=4}, {A=3, B=5}}}, {S={A=3, B=4}}}

Now, suppose that P(A, B) is the predicate of S. The first tuple of r
asserts that P(3, 5) is true, but the second tuple implies that P(3, 5) is
false. It stands to reason that P(3, 5) cannot be both true and false.

<snip>

But it can be the case that P(3, 5) is true within the context of the
first tuple,
and false within the context of the second. Substitute an integer-
valued attribute
for the rva in the above example and check that it is the case that
different
tuples in the relation can, indeed, have different values in the
integer-valued
attribute.

TroyK

.

Relevant Pages

  • Re: Coextensive properties?
    ... Quine's "Der" operator to reduce a two place predicate such as ". ... context C such that the object ... ... But we must now explicitly relativize this before we can apply the "Der" ... P by an ideal observer who would conform to all clauses of D1." ...
    (sci.logic)
  • Re: DNA pioneer James Watson suspended in farcical race row
    ... the deduction is 99% of it. ... Bona fide theories remain subject to any _empirical_ context. ... definitions you are you referring to? ... identified" remains rationally meaningless unless you PREDICATE it. ...
    (sci.bio.evolution)
  • Re: Opening multiple files - BAM - "Copy to." "Move to."
    ... keys do not exist in the path you've indicated: ... The "Copy to Folder" and "Move to Folder" ... options weren't designed to be on the context menu. ... Open Registry Editor and navigate to: ...
    (microsoft.public.windowsxp.help_and_support)
  • Re: Database design, Keys and some other things
    ... >>the natures of external ids vs. surrogate keys. ... There are many domains where this sort of context is relevant. ...
    (comp.databases.theory)
  • Re: Columns without names
    ... the relational operators on unary relations ... So in the context of the predicate ... is mathematically - simply as a set of naked elements, ...
    (comp.databases.theory)