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
Modeling & Design
- Mathematics, machine learning and Wittgenstein
- The Entity-Relationship DataModel Considered Harmful
- Object-Role Modeling: An Overview
Distributed DBMS
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
No comments:
Post a Comment