The Relational Model

• Logic and databases
  
• A Relational Model of Data for Large Shared Data Banks
• E. F. Codd's 12 Rules for RDBMS
• What a Database Really Is: Predicates and Propositions
• Extending the relational algebra to capture less meaning (h/t Erwin Smout)
• Relational Algebra (Lecture Notes)
• Simple Guide to Five Normal Forms  
• Synthesizing 3NF Relations from FDs
• On making Relational Division Comprehensible
• Why Are There No Relational DBMSs
• Why even the most intelligent software architects don't understand the RDM
• 
  

Implementations

• HaskellDB Examples
• Metaphor Computer Systems (Slide Show)

 SQL & Relational Fidelity

• CREATE ASSERTION: Neither Impossible Nor a Dream
• Why is it so hard to get SQL performance right the first time
• Comparison of different SQL implementations

General Database

• Comments on the Third-Generation Data Base System Manifesto

Modeling & Design 

• Mathematics, machine learning and Wittgenstein
• The Entity-Relationship DataModel Considered Harmful
• Object-Role Modeling: An Overview

Distributed DBMS

• C. J. Date's 12 Rules for Distributed DBMS
• Consistency Tradeoffs in Modern Distributed Database System Design

Logic and Math

• FOL Modeling of Integrity Constraints (Dependencies) book
• FOL Modeling of Integrity Constraints (Dependencies) (article)
  
• On Denoting (Bertrand Russell)
  
• Russell's Paradox
  
• Finitary relation
  
• Let's make set theory great again! 
• An Argument for Controlled Natural Languages in Mathematics
• How Gödel’s Proof Works
• What do Formal Methods actually Guarantee
• Incompleteness and Computability
• Logical validity
• Formal Semantics and Logic
• forall x - An Introduction to Formal Logic
• Introduction to Axioms with Set Theory for an Imaginary 10 years old
  
• Set Theory and Axiomatic Systems explained with pics and gifs
• LOGIC: DEDUCTIVE AND INDUCTIVE
• Set Theory and Foundations of Mathematics
• The Emergence of First Order Logic (Stanford)
• The Logical Fallacies
• Frege's Logicism
• A Brief History of Logic
• Kurt Gödel & the Limits of Mathematics 
• A History of Computation, Logic and Algebra 
• Logic of propositions and predicates (video course)
• Axioms of set Theory (video course)
• Introduction to Logic (video course) 
• Introduction to Symbolic/Propositional Logic (video course)
• Symbolic Logic (video course) 
• Symbolic Logic (course)
• Symbolic Logic 1 (The basics, letters, operators, connectives) (video course)
• Symbolic Logic 2 (WFFs & calculating truth functional statements)
• Symbolic Logic 3 (Truth tables for statements, tautologies, contradictories, etc) (video course)
• Logic of propositions and predicates (video course)
• A History of Philosophy (video course) 

General Computing

• Bertrand Meyer: Soundness and completeness with precision
• What do Formal Methods actually Guarantee 
• Why should physicists study history
• E. W. Dijkstra Archive
• A Bridge too Far: E.W. Dijkstra and Logic - A Programmers Place