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