Things I still want to do: edit
- 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