Pages that link to "Item:Q1095682"
From MaRDI portal
The following pages link to Monitoring dynamic integrity constraints based on temporal logic (Q1095682):
Displaying 10 items.
- Monitoring of temporal first-order properties with aggregations (Q888414) (← links)
- 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 the feasibility of checking temporal integrity constraints (Q1908342) (← links)
- On temporal logic S4Dbr (Q2471628) (← links)
- Monitoring metric first-order temporal properties (Q2796403) (← links)
- A general treatment of dynamic integrity constraints (Q4541454) (← links)