A transaction-based approach to relational database specification

DOI10.1145/76359.76363MaRDI QIDQ3476304zbMATH OpenOpenAlexFDO

Authors Serge Abiteboul, Victor Vianu

Publication date 1989

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/76359.76363

zbMATH Keywords

data manipulation languagesdata modelsdatabase managementdescription languagesdynamic and static constraintslogical designobject-oriented databasesoperational specificationschemassubschematransactional schema

Mathematics Subject Classification ID

Data structures (68P05) Information storage and retrieval of data (68P20)

Recommendations

• scientific article; zbMATH DE number 3936494
• Specification and verification of database dynamics
• Transformation of dynamic integrity constraints into transaction specifications
• On specifying database updates
• Relational transducers for electronic commerce

Cited in

(18)

• Algebraic and functional specification of an interactive serializable database interface
• Operational specification with joint actions: Serializable databases
• Verifiable properties of database transactions
• Dependency preservation in semantic databases
• Static and dynamic aspects of goal-oriented concurrency control
• Non-determinism in logic-based languages
• A first step towards implementing dynamic algebraic dependences
• Dynamic constraints and object migration
• Formal specification synthesis for relational database model
• Measure-based inconsistency-tolerant maintenance of database integrity
• scientific article; zbMATH DE number 3936494 (Why is no real title available?)
• Exploiting abstraction relationships' semantics for transaction synchronization in KBMSs
• scientific article; zbMATH DE number 1182730 (Why is no real title available?)
• scientific article; zbMATH DE number 1951211 (Why is no real title available?)
• scientific article; zbMATH DE number 1869805 (Why is no real title available?)
• scientific article; zbMATH DE number 5593270 (Why is no real title available?)
• scientific article; zbMATH DE number 2241918 (Why is no real title available?)
• An axiom system for database transactions

This page was built for publication: A transaction-based approach to relational database specification

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