Formal correctness procedures for object-oriented databases

MaRDI QIDQ4250722zbMATH OpenFDO

Authors Athman Bouguettaya, Boualem Benatallah, David Edmond

Publication date 17 June 1999

zbMATH Keywords

object-oriented databases

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Method schemas.
• Specification and verification of database dynamics
• scientific article; zbMATH DE number 1696853
• Supporting update propagation in object-oriented databases
• scientific article; zbMATH DE number 566081

Cited in

(1)

• Method schemas.

This page was built for publication: Formal correctness procedures for object-oriented databases

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