Investigate the logical relationship between the SQL operator EXISTS and the TRC quanti?er ?. For concreteness, express query (5.26), page 160, using TRC.

What will be an ideal response?


The SQL EXISTS operator is more limited: it tests whether a set is empty. The ? quanti?er in TRC is more versatile, especially when the query contains universal quanti?ers and the NOT operator in addition to ?. For instance, the query (5.26), can be expressed much more naturally in TRC using ? than in SQL using EXISTS:


{S.Id | Student(S) AND
NOT (?T ? Transcript ?C ? Course
(S.Id = T.StudId AND T.CrsCode = C.CrsCode
AND C.DeptId = ’CS’) )

Computer Science & Information Technology

You might also like to view...

The _______ property of an event stores a reference to the control that triggered the event.

a) Target b) Source c) SourceControl d) EventTarget

Computer Science & Information Technology

Which of the following is NOT a feature of AD RMS?

A. AD FS integration B. Workplace Join C. Mobile device support D. Self-enrollment

Computer Science & Information Technology

When using msconfig to change the startup type, what startup selection loads basic devices and services only, and has no configurable options?

A. Normal startup B. Limited startup C. Diagnostic startup D. Selective startup

Computer Science & Information Technology

InDesign is able to "flow" text as body copy.

Answer the following statement true (T) or false (F)

Computer Science & Information Technology