@@ -25,8 +25,7 @@ Note that a value can also be a relation. This creates a recursively-defined dat
2525Examples:
2626* A number:
2727
28−|3|
29−|-|
28+3
3029
3130* A name:
3231
@@ -83,11 +82,11 @@ Examples:
8382|S2 |P1 |250|
8483
8584* Predicate: "A person named Name is an employee and works in department Department."
86−* Propositions: "A person named Steve is an employee and works in the Accounting department."
85+* Propositions: "A person named Steve is an employee and works in the Accounting department."
8786
8887|(Name, Name Type)|(Department, Department Type)|
89−|-|-|
90−|Steve|Accounting|
88+|-----------------|-----------------------------|
89+|Steve |Accounting |
9190
9291Note that the absence of a tuple representing "Bob" indicates that Bob is not an employee and not that, for example, Bob could be an employee in an unspecified department.
9392
@@ -103,15 +102,15 @@ Examples:
103102T1: (Employees, (Name, Name Type)) ->
104103
105104|(Name, Name Type)|
106−|-|
107−|Bob|
105+|-----------------|
106+|Bob |
108107
109108T2: (Employees, (Name, Name Type)) ->
110109
111110|(Name, Name Type)|
112−|-|
113−|Bob|
114−|Steve|
111+|-----------------|
112+|Bob |
113+|Steve |
115114
116115To reiterate, the transition from T1 to T2 replaced the "Employees" relation variable reference found at T1 with the reference to the new relation found at T2.
117116