Pages that link to "Item:Q1092680"

The following pages link to Specification and verification of database dynamics (Q1092680):

Displaying 4 items.

• Branching versus linear logics yet again (Q911747) (← links)
• Theoretical foundations of handling large substitution sets in temporal integrity monitoring (Q914364) (← links)
• A first step towards implementing dynamic algebraic dependences (Q1389443) (← links)
• Deontic database constraints, violation and recovery (Q1922825) (← links)