Formal specification scheme for database applications using requirements particle networks

DOI10.1108/02644400210450701MaRDI QIDQ4407224zbMATH OpenOpenAlexFDO

Authors Wiwat Vatanawood, Wanchai Rivepiboon

Publication date 8 September 2003

Published in Engineering Computations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1108/02644400210450701

zbMATH Keywords

relational data model

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Specification of an active database system application using dynamic relation nets
• Formal specification synthesis for relational database model
• Specification and verification of database dynamics
• Formalization of algorithms for relational database machines
• Formal semantics for database schemas
• An Introduction to the Formal Specification of Relational Query Languages
• scientific article; zbMATH DE number 1471978
• scientific article; zbMATH DE number 970717

Cited in

(1)

• Formal specification synthesis for relational database model

This page was built for publication: Formal specification scheme for database applications using requirements particle networks

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