A relation-algebraic approach to the ``Hoare logic of functional dependencies

DOI10.1016/j.jlap.2014.02.013zbMath1434.68144OpenAlexW2053332285MaRDI QIDQ406457

José Nuno Oliveira

Publication date: 8 September 2014

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2014.02.013

zbMATH Keywords

data dependency theoryprogram calculirelational mathematics

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Logic of temporal attribute implications ⋮ A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra ⋮ An exercise on the generation of many-valued dynamic logics ⋮ Dependencies in relational models of databases ⋮ Programming from metaphorisms ⋮ A linear algebra approach to OLAP

Uses Software

• RelView
• ESC/Java

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computing and visualizing Banks sets of dominance relations using relation algebra and RelView
• Strongest invariant functions: Their use in the systematic analysis of while statements
• Graphical models of separation logic
• The weakest prespecification
• A calculational approach to mathematical induction
• Towards a linear algebra of programming
• Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs
• An Algebraic Calculus of Database Preferences
• Automated Reasoning in Kleene Algebra
• Extended Static Checking by Calculation Using the Pointfree Transform
• Kleene algebra with domain
• Tarski's influence on computer science
• An axiomatic basis for computer programming
• On Hoare logic and Kleene algebra with tests