Relational model (INPROGRESS)

It isn't justified to call a relational model what people usually mean when the talk about a relational model. The common normal form constraints are treated in a dogmatic manner which leads to several troubles including, but not limited to: inconsistency with set-theoretic notion of a relation, extremely verbose DDL, broken integrity guarantees, impedance mistmatch, and poor software performance. Apparently the solution is to implement higher-order logic.


Comments powered by Disqus