Pages that link to "Item:Q3476304"
From MaRDI portal
The following pages link to A transaction-based approach to relational database specification (Q3476304):
Displaying 11 items.
- Verifiable properties of database transactions (Q1281498) (← links)
- Dependency preservation in semantic databases (Q1323344) (← links)
- Static and dynamic aspects of goal-oriented concurrency control (Q1353964) (← links)
- Non-determinism in logic-based languages (Q1360676) (← links)
- A first step towards implementing dynamic algebraic dependences (Q1389443) (← links)
- Dynamic constraints and object migration (Q1390938) (← links)
- Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity (Q3458158) (← links)
- Exploiting abstraction relationships' semantics for transaction synchronization in KBMSs (Q4398748) (← links)
- (Q4400802) (← links)
- (Q4794429) (← links)
- (Q5192932) (← links)