Abstract

Modelling constructs for specifying semantic integrity are reviewed, and their implicit execution semantics are discussed. An integrity maintenance model based on these constructs is presented. An implementation of this model in a persistent programming language is described, allowing flexible automated dynamic integrity management for applications that update a persistent store; this implementation is based on an event-driven architecture.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.