From 6fcc0b788daa7606caf982daea769e7881603422 Mon Sep 17 00:00:00 2001
From: Ziyang Hu <hu.ziyang@cantab.net>
Date: Sun, 14 Aug 2022 21:35:23 +0800
Subject: [PATCH] range scanning

---
 PLAN.md               |  0
 README.md             | 16 ++++------------
 TODO.md               |  9 ---------
 src/query/relation.rs |  1 -
 4 files changed, 4 insertions(+), 22 deletions(-)
 delete mode 100644 PLAN.md
 delete mode 100644 TODO.md

diff --git a/PLAN.md b/PLAN.md
deleted file mode 100644
index e69de29b..00000000
diff --git a/README.md b/README.md
index e67c69d7..1dab5532 100644
--- a/README.md
+++ b/README.md
@@ -1,14 +1,6 @@
 ## TODO
 
-* [x] predicates
-* [x] negation
-* [x] disjunction
-* [x] stratum
-* [x] magic sets
-* [x] unification
-* [x] aggregation
-* [x] duplicate symbols in rule heads
-* [x] limit, offset
-* [x] public API
-* [x] sorting
-* [ ] range scan
+* [ ] stored relations
+* [ ] more complete functions and aggregations
+* [ ] auto-updating relations?
+* [ ] more complete tx tests
\ No newline at end of file
diff --git a/TODO.md b/TODO.md
deleted file mode 100644
index 2a674b0c..00000000
--- a/TODO.md
+++ /dev/null
@@ -1,9 +0,0 @@
-## Methods
-
-* Conversion methods
-  * `v.format()`
-  * `v.parse_int()`
-  * `v.parse_float()`
-* Note about iterator efficiency [here](https://github.com/facebook/rocksdb/wiki/Reducing-memcpy-overhead-when-using-Iterators)
-* Homogeneous array types
-  * Alignment could imply necessary copies (COW)
\ No newline at end of file
diff --git a/src/query/relation.rs b/src/query/relation.rs
index 1011b053..9b79f40a 100644
--- a/src/query/relation.rs
+++ b/src/query/relation.rs
@@ -1320,7 +1320,6 @@ pub(crate) struct StoredDerivedRelation {
     pub(crate) filters: Vec<Expr>,
 }
 
-// TODO range scan for derived relation
 impl StoredDerivedRelation {
     fn fill_binding_indices(&mut self) -> Result<()> {
         let bindings: BTreeMap<_, _> = self