Algebraic and functional specification of an interactive serializable database interface

DOI10.1007/BF02276638MaRDI QIDQ1193602zbMATH OpenFDO

Authors Manfred Broy

Publication date 27 September 1992

Published in Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

databaseserializabilityalgebraic specificationinteractive systemsLake Arrowhead Workshop

Mathematics Subject Classification ID

Database theory (68P15) Abstract data types; algebraic specification (68Q65)

Recommendations

• Specifying modules to satisfy interfaces: A state transition system approach
• A transaction-based approach to relational database specification
• Operational specification with joint actions: Serializable databases
• An Informal Approach to Formal (Algebraic) Specifications
• scientific article; zbMATH DE number 3872655

Cites work

• scientific article; zbMATH DE number 3898216 (Why is no real title available?)
• scientific article; zbMATH DE number 4041239 (Why is no real title available?)
• scientific article; zbMATH DE number 3621104 (Why is no real title available?)
• scientific article; zbMATH DE number 3310090 (Why is no real title available?)
• A calculus of communicating systems
• On hierarchies of abstract data types
• Predicative specifications for functional programs describing communicating networks
• The notions of consistency and predicate locks in a database system
• Top-down design and the algebra of communicating processes

Cited in

(4)

• Using eternity variables to specify and prove a serializable database interface
• Operational specification with joint actions: Serializable databases
• Specifying modules to satisfy interfaces: A state transition system approach
• Algebraic specification of concurrent systems

This page was built for publication: Algebraic and functional specification of an interactive serializable database interface

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1193602)