Pages that link to "Item:Q1092680"
From MaRDI portal
The following pages link to Specification and verification of database dynamics (Q1092680):
Displaying 10 items.
- Dynamic analysis of some relational databases parameters (Q672987) (← links)
- Branching versus linear logics yet again (Q911747) (← links)
- Theoretical foundations of handling large substitution sets in temporal integrity monitoring (Q914364) (← links)
- An axiom system for database transactions (Q917282) (← links)
- Database survivability under dynamic constraints (Q1087339) (← links)
- On conceptual model specification and verification (Q1100939) (← links)
- Verifiable properties of database transactions (Q1281498) (← links)
- A first step towards implementing dynamic algebraic dependences (Q1389443) (← links)
- Deontic database constraints, violation and recovery (Q1922825) (← links)
- Formal specification scheme for database applications using requirements particle networks (Q4407224) (← links)