Relational Model

My Relational Model notes (single-page version) examine the mathematical foundations of relational databases, the relationship between data and predicates, database constraints, information decomposition, and the view update problem. They also explore nested relational models and ways of applying relational theory to practical database systems.

nested RM

Predica is a formal language for defining types, constraints and queries suitable for Database Management Systems, and for defining legality in laws, contracts, and other normative systems.