User:Jan Hidders/todo

Things I still want to do:

 * correct BCNF definition on database normalization and add more information on normalization
 * write entry on database theory in general
 * write relational algebra relational tuple calculus relational domain calculus
 * organize relation, mathematical relation and binary relation, perhaps we need a page n-ary relation.
 * explain more on relational model and relational database / RDBMS
 * explain how parsing tables for LR parsers are generated
 * also for Canonical LR parsers (aka. LR(1) parsers)
 * and SLR parsers and LALR parsers
 * show proof that Lambda calculus can express all Recursive functions