Algebraic and functional specification of an interactive serializable database interface

DOI10.1007/BF02276638zbMATH Open0748.68011MaRDI QIDQ1193602FDOQ1193602

Manfred Broy

Publication date: 27 September 1992

Published in: Distributed Computing (Search for Journal in Brave)

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

zbMATH Keywords

databaseserializabilityalgebraic specificationinteractive systemsLake Arrowhead Workshop

Mathematics Subject Classification ID

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

Cites Work

• A calculus of communicating systems
• Title not available (Why is that?)
• The notions of consistency and predicate locks in a database system
• Title not available (Why is that?)
• Predicative specifications for functional programs describing communicating networks
• On hierarchies of abstract data types
• Top-down design and the algebra of communicating processes
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

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

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)