A transaction-based approach to relational database specification

DOI10.1145/76359.76363zbMath0698.68089OpenAlexW2078057384MaRDI QIDQ3476304

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

schemasobject-oriented databasesdatabase managementdata modelslogical designdescription languagesdata manipulation languagesdynamic and static constraintsoperational specificationsubschematransactional schema

Mathematics Subject Classification ID

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

Related Items (7)

Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity ⋮ 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 ⋮ Verifiable properties of database transactions ⋮ Dependency preservation in semantic databases

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