Consider the Datalog programs P1 (left) and P2 (right) below, which use relations R(A, B) and S(A, B). P1 P2: T1(A) R(A, B). T4(A) R(A, B), S(A, B). T2(A) S(A, B). T3(A) T1(A), T2(A). Which of the following statements is TRUE about the relationships between relations T3 and T4 defined by P1 and P2, respectively? Note that the commas "," used in the rule bodies to separate the predicates is the same as using AND.

Algebra and Trigonometry (6th Edition)
6th Edition
ISBN:9780134463216
Author:Robert F. Blitzer
Publisher:Robert F. Blitzer
ChapterP: Prerequisites: Fundamental Concepts Of Algebra
Section: Chapter Questions
Problem 1MCCP: In Exercises 1-25, simplify the given expression or perform the indicated operation (and simplify,...
icon
Related questions
Question
26 of 40
Consider the Datalog programs P1 (left) and P2 (right) below, which use relations R(A, B) and S(A, B).
P1
P2:
T1(A)
R(A, B).
T4(A)
R(A, B), S(A, B).
T2(A)
S(A, B).
T3(A) +
T1(A), T2(A).
Which of the following statements is TRUE about the relationships between relations T3 and T4 defined
by P1 and P2, respectively?
Note that the commas "," used in the rule bodies to separate the predicates is the same as using AND.
Select one:
T3 and T4 include the same set of tuples.
Every tuple in T3 is also contained in T4, that is, T3 C T4.
O None of the other answers, that is, T3 and T4 contain different tuples, in general.
O Every tuple in T4 is also contained in T3, that is, T4 C T3.
Transcribed Image Text:26 of 40 Consider the Datalog programs P1 (left) and P2 (right) below, which use relations R(A, B) and S(A, B). P1 P2: T1(A) R(A, B). T4(A) R(A, B), S(A, B). T2(A) S(A, B). T3(A) + T1(A), T2(A). Which of the following statements is TRUE about the relationships between relations T3 and T4 defined by P1 and P2, respectively? Note that the commas "," used in the rule bodies to separate the predicates is the same as using AND. Select one: T3 and T4 include the same set of tuples. Every tuple in T3 is also contained in T4, that is, T3 C T4. O None of the other answers, that is, T3 and T4 contain different tuples, in general. O Every tuple in T4 is also contained in T3, that is, T4 C T3.
Expert Solution
steps

Step by step

Solved in 2 steps with 1 images

Blurred answer
Knowledge Booster
Vector Space
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, algebra and related others by exploring similar questions and additional content below.
Recommended textbooks for you
Algebra and Trigonometry (6th Edition)
Algebra and Trigonometry (6th Edition)
Algebra
ISBN:
9780134463216
Author:
Robert F. Blitzer
Publisher:
PEARSON
Contemporary Abstract Algebra
Contemporary Abstract Algebra
Algebra
ISBN:
9781305657960
Author:
Joseph Gallian
Publisher:
Cengage Learning
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
Algebra And Trigonometry (11th Edition)
Algebra And Trigonometry (11th Edition)
Algebra
ISBN:
9780135163078
Author:
Michael Sullivan
Publisher:
PEARSON
Introduction to Linear Algebra, Fifth Edition
Introduction to Linear Algebra, Fifth Edition
Algebra
ISBN:
9780980232776
Author:
Gilbert Strang
Publisher:
Wellesley-Cambridge Press
College Algebra (Collegiate Math)
College Algebra (Collegiate Math)
Algebra
ISBN:
9780077836344
Author:
Julie Miller, Donna Gerken
Publisher:
McGraw-Hill Education