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 & Trigonometry with Analytic Geometry
13th Edition
ISBN:9781133382119
Author:Swokowski
Publisher:Swokowski
Chapter10: Sequences, Series, And Probability
Section10.7: Distinguishable Permutations And Combinations
Problem 30E
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 & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
Elementary Geometry For College Students, 7e
Elementary Geometry For College Students, 7e
Geometry
ISBN:
9781337614085
Author:
Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:
Cengage,
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,