A Formal System for Reasoning about Programs Accessing a Relational Database

DOI10.1145/357103.357111zbMath0462.68085OpenAlexW2081251433MaRDI QIDQ3912081

Philip A. Bernstein, Marco A. Casanova

Publication date: 1980

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/357103.357111

zbMATH Keywords

synchronizationdynamic logicaggregation operatorsserializabilityconsistency preservationmany-sorted first-order logicdata manipulation languagesdata definition languages

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10) Information storage and retrieval of data (68P20) Theory of operating systems (68N25)

Related Items (3)

An axiom system for database transactions ⋮ The theory of functional and subset dependencies over relational expressions ⋮ A theory of data dependencies over relational expressions

This page was built for publication: A Formal System for Reasoning about Programs Accessing a Relational Database