From abcf2bca6401ecd4fca10ab02a9fb61ef8084241 Mon Sep 17 00:00:00 2001
From: Oliver <okennedy@buffalo.edu>
Date: Sat, 6 Feb 2021 19:15:39 -0500
Subject: [PATCH] More slide stuff

---
 src/teaching/cse-562/2021sp/index.erb                      | 2 ++
 src/teaching/cse-562/2021sp/slide/2021-02-11-RA-Equivs.erb | 6 ++++--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/teaching/cse-562/2021sp/index.erb b/src/teaching/cse-562/2021sp/index.erb
index 42dbd261..161872f0 100644
--- a/src/teaching/cse-562/2021sp/index.erb
+++ b/src/teaching/cse-562/2021sp/index.erb
@@ -17,6 +17,8 @@ schedule:
       slides: slide/2021-02-09-RA-Basics-and-Spark.html
   - date: "Feb. 11"
     topic: "Relational Algebra Equivalence Rules"
+    materials:
+      slides: slide/2021-02-11-RA-Equivs.html
   - date: "Feb. 16"
     topic: "Algorithms, Checkpoint 1"
     due: "Checkpoint 0"
diff --git a/src/teaching/cse-562/2021sp/slide/2021-02-11-RA-Equivs.erb b/src/teaching/cse-562/2021sp/slide/2021-02-11-RA-Equivs.erb
index 97eebe36..e489cbc8 100644
--- a/src/teaching/cse-562/2021sp/slide/2021-02-11-RA-Equivs.erb
+++ b/src/teaching/cse-562/2021sp/slide/2021-02-11-RA-Equivs.erb
@@ -341,6 +341,7 @@ textbook: "Ch. 16.2"
   </section>
 
   <section>
+    $$\sigma_{c}(\pi_{A}(R)) \Rightarrow \pi_{A}(\sigma_{c}(R))$$
     <pre><code class="scala">
   plan.transform {
     case Filter(condition, Project(columns, child)) => 
@@ -376,9 +377,10 @@ textbook: "Ch. 16.2"
 
   <section>
     <h3>Spark</h3>
-
+    
+    $$\sigma_c(R \cup S) \Rightarrow (\sigma_c(R)) \cup (\sigma_c(R))$$
     <pre><code class="scala">
-  plan.transform {
+  plan.transformDown {
     case Filter(condition, Union(children)) => 
       Union(
         children.map { child =>