Pages that link to "Item:Q915441"
From MaRDI portal
The following pages link to Transformation of dynamic integrity constraints into transaction specifications (Q915441):
Displaying 5 items.
- Branching versus linear logics yet again (Q911747) (← links)
- Monitoring dynamic integrity constraints based on temporal logic (Q1095682) (← links)
- Verifiable properties of database transactions (Q1281498) (← links)
- A first step towards implementing dynamic algebraic dependences (Q1389443) (← links)
- Logic Based Program Synthesis and Transformation (Q5713941) (← links)