Specification of an active database system application using dynamic relation nets

DOI10.1007/3-540-44957-4_80MaRDI QIDQ2767139zbMATH OpenFDO

Authors Laurent Allain, Pascal Yim

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44957-4_80

Mathematics Subject Classification ID

Database theory (68P15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Modeling information system behavior with dynamic relations nets
• A structural model of ECA rules in active database
• scientific article; zbMATH DE number 1241641
• Specification and verification of database dynamics
• Specifying database transactions and active rules in the situation calculus

Cited in

(3)

• Modeling information system behavior with dynamic relations nets
• scientific article; zbMATH DE number 1241641 (Why is no real title available?)
• Formal specification scheme for database applications using requirements particle networks

This page was built for publication: Specification of an active database system application using dynamic relation nets

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