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