range scanning

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

TODO.md

@@ -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)

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