Follow @DBDebunk Follow @ThePostWest

(Please order books via these links to support this site and keep it free. Thank you.)

 

Database Management

• Bernstein, P. A., Synthesizing 3NF Relations from Functional Dependencies
• Chen, P., Chen-Entity-Relationship Model-Towards a Unified View of Data
• Darwen, H., What a Database Really Is: Predicates and Propositions
• Darwen, H., Why Are There No Relational DBMSs
• Date, C.J., 12 Rules for Distributed DBMS
• DeHaan, L., and Koppelaars, T., APPLIED MATHEMATICS FOR DATABASE PROFESSIONALS
• Deutsch, A., FOL Modeling of Integrity Constraints (Dependencies) (book)
• Deutsch, A., FOL Modeling of Integrity Constraints (Dependencies) (paper)
• Halpin, T., Object-Role Modeling: An Overview
• Hepburn, P., Why even the most intelligent software architects don't understand the RDM
• Kent, W., DATA AND REALITY
• Kent, W., Simple Guide to Five Normal Forms
• McCann, L.I., On making Relational Division Comprehensible
• Merrett, T.H., Extending the relational algebra to capture less meaning (h/t Erwin Smout)
• Merrill, D.D., DEMORGAN,PEIRCE, AND THE LOGIC OF RELATIONS
• Nijssen, S., CONCEPTUAL SCHEMA AND RELATIONAL DATABASE DESIGN
• Nijssen S., The Entity-Relationship DataModel Considered Harmful
• Padron-McCarthy, T., Relational Algebra (Lecture Notes)
• Relations in Math (@Cuemath)
• Smith, P., BEGINNING MATHEMATICAL LOGIC
• Whelden, R., The Origins and Use of the Theory of Relations

(See Home page for E.F.Codd and D. McGoveran bibliographies)

 

Logic and Math

• Class, Category, Type (@StackExchange)
• Colyvan, M., Kurt Gödel & the Limits of Mathematics
• Epstein, R.L., PREDICATE LOGIC
• Epstein, R.L., PROPOSITIONAL LOGICS
• Epstein, R.L., CLASSICAL MATHEMATICAL LOGIC
• Ewald W. The Emergence of First Order Logic (@StanfordU)
• Ewald, W., The Logical Fallacies (@StanfordU)
• Finitary relation (@Wikipedia)
• Formal Models and Theories (@NotreDameU)
• Hodges, W., LOGIC
• Harrison, J., Let's make set theory great again!  (presentation)
• Kaplan, J., Russell's Paradox: a simple explanation of a profound problem (@YouTube)
• Logical validity (@RationalWiki)
• Magnus, P.D., et.al. AN INTRODUCTION TO FORMAL LOGIC
• Pospesel, H., PROPOSITIONAL LOGIC 
• Pospesel, H., PREDICATE LOGIC 
• Read, C., LOGIC: DEDUCTIVE AND INDUCTIVE
• Smith, P., INTRODUCTION TO FORMAL LOGIC
• Stilwell, J., The story of mathematical proof  (@YouTube)
• Stoll, R. R., SET THEORY AND LOGIC
• Vardi, M., A Brief History of Logic (@RiceU)
• What is the difference between intensional and extensional logic (@Philosophy)
• Will He, A., Set Theory and Axiomatic Systems explained with pics and gifs (@Gutenberg project)

 

Computing

• Meyer, B., Soundness and completeness with precision
• E. W. Dijkstra Archive
• van Emden, M.,  A Bridge too Far: E.W. Dijkstra and Logic - A Programmers Place

 

 

 

 

 

 

 

 

 

 

 

 

 Last updated 2/17/24