A first step towards implementing dynamic algebraic dependences

DOI10.1016/S0304-3975(97)00088-1MaRDI QIDQ1389443zbMATH OpenOpenAlexFDO

Authors Nicole Bidoit, Sandra de Amo

Publication date 30 June 1998

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(97)00088-1

zbMATH Keywords

dynamic constraintdeclarative and operational specification of database schematransaction schema

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• A general treatment of dynamic integrity constraints
• scientific article; zbMATH DE number 4058916
• Transformation of dynamic integrity constraints into transaction specifications
• Database survivability under dynamic constraints
• A transaction-based approach to relational database specification

Cites work

• scientific article; zbMATH DE number 3890770 (Why is no real title available?)
• scientific article; zbMATH DE number 3823168 (Why is no real title available?)
• scientific article; zbMATH DE number 3982506 (Why is no real title available?)
• scientific article; zbMATH DE number 1142327 (Why is no real title available?)
• scientific article; zbMATH DE number 1536548 (Why is no real title available?)
• scientific article; zbMATH DE number 790274 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 3363520 (Why is no real title available?)
• A transaction-based approach to relational database specification
• Algebraic dependencies
• Deriving optimized integrity monitoring triggers from dynamic integrity constraints
• Logic for improving integrity checking in relational data bases
• Monitoring dynamic integrity constraints based on temporal logic
• On the feasibility of checking temporal integrity constraints
• Procedural languages for database queries and updates
• Semantics and expressiveness issues in active databases
• Specification and verification of database dynamics
• Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning

Cited in

(8)

• Database survivability under dynamic constraints
• scientific article; zbMATH DE number 8763 (Why is no real title available?)
• Dynamic constraints and object migration
• scientific article; zbMATH DE number 4087082 (Why is no real title available?)
• Databases and artificial intelligence
• scientific article; zbMATH DE number 4058916 (Why is no real title available?)
• Transformation of dynamic integrity constraints into transaction specifications
• scientific article; zbMATH DE number 1755580 (Why is no real title available?)

This page was built for publication: A first step towards implementing dynamic algebraic dependences

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