Substitution and instantiation - sql, PL-SQL Programming

Substitution and Instantiation - SQL

It shows how NULL might appear in substitution for a parameter of a predicate and how it might thus participate in instantiation of that predicate to yield a proposition. Now consider instantiations of the dyadic predicate a < b. As well as instantiations such as 5 < 10 (a true one) and 9 < 6 (a false one), we now have to entertain the possibility of instantiations such as 5 < NULL, NULL < 6, and NULL < NULL.

In SQL these comparisons evaluate to that intrusive truth value, unknown. It goes on to explain that the extension of a predicate consists exactly of those instantiations of it that evaluate to true, from which we can conclude, of every instantiation that does not appear in the extension, that it is false, in which case it must appear instead in the extension of the negation of that predicate. In SQL, then, the instantiation 5 < NULL, for example, cannot be considered to appear in either the extension of a < b or NOT (a < b). Or so it would appear.

Posted Date: 1/18/2013 3:08:44 AM | Location : United States







Related Discussions:- Substitution and instantiation - sql, Assignment Help, Ask Question on Substitution and instantiation - sql, Get Answer, Expert's Help, Substitution and instantiation - sql Discussions

Write discussion on Substitution and instantiation - sql
Your posts are moderated
Related Questions
Relational Operators The relational operators permit you to compare randomly complex expressions. The list below provides the meaning of each operator:

I need to write one function and one procedure to query a Oracle 10.1 DB using PL SQL. I have the schema and exact queries...along with work Ive started and a template to put the a

On occasion, some of Brewbean's customers mistakenly leave an item out of a basket already checked out, so they create a new basket containing the missing items. However, they requ

Collection Methods:   The collection method is a built-in function or procedure which operates on the collections and is called using the dot notation. The methods like the C

ROWID The ROWID returns the rowid (binary address) of a row in the database table. You can use the variables of the type UROWID to store rowids in a readable format. In the il

RETURN Statement The RETURN statement instantly completes the execution of a subprogram and returns control to the caller. The Execution then resumes with the statement below t

Use Native Dynamic SQL A few programs (a normal-purpose report writer for illustration) should build and process a variety of SQL statements at run time. Therefore, their full

SQL outer join SELECT * FROM IS_CALLED NATURAL LEFT JOIN IS_ENROLLED_ON Note that adding LEFT to an invocation of CROSS JOIN has no effect unless the right-hand operand

Renaming Columns - SQL SQL has no direct counterpart of RENAME. To derive the table on the right in Figure 4.4 from the table on the left, Tutorial D has IS_CALLED RENAME ( St

Initializing and Referencing Collections Until you initialize a collection, a nested table or varray is automatically null (i.e. the collection itself is null, not its elements)