Pages that link to "Item:Q1095682"
From MaRDI portal
The following pages link to Monitoring dynamic integrity constraints based on temporal logic (Q1095682):
Displayed 8 items.
- Theoretical foundations of handling large substitution sets in temporal integrity monitoring (Q914364) (← links)
- Transformation of dynamic integrity constraints into transaction specifications (Q915441) (← links)
- Specification and verification of database dynamics (Q1092680) (← links)
- A temporal logic-based approach for the description of object behavior evolution (Q1353949) (← links)
- A first step towards implementing dynamic algebraic dependences (Q1389443) (← links)
- On temporal logic S4Dbr (Q2471628) (← links)
- Monitoring Metric First-Order Temporal Properties (Q2796403) (← links)
- Construction of deterministic transition graphs from dynamic integrity constraints (Q6199462) (← links)