A first step towards implementing dynamic algebraic dependences

DOI10.1016/S0304-3975(97)00088-1zbMath0893.68050OpenAlexW2069067700MaRDI QIDQ1389443

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)

Related Items (1)

Dynamic constraints and object migration

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Procedural languages for database queries and updates
• Specification and verification of database dynamics
• Monitoring dynamic integrity constraints based on temporal logic
• Logic for improving integrity checking in relational data bases
• Algebraic dependencies
• Semantics and expressiveness issues in active databases
• On the feasibility of checking temporal integrity constraints
• Deriving optimized integrity monitoring triggers from dynamic integrity constraints
• A transaction-based approach to relational database specification
• Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning

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