Pages that link to "Item:Q3833655"
From MaRDI portal
The following pages link to Maintaining state constraints in relational databases: a proof theoretic basis (Q3833655):
Displaying 6 items.
- Validating database updates (Q788499) (← links)
- Un-Skolemizing clause sets (Q920968) (← links)
- Paraconsistent disjunctive deductive databases (Q1185011) (← links)
- Verifiable properties of database transactions (Q1281498) (← links)
- Optimizing fragment constraints -- a performance evaluation (Q2738992) (← links)
- Consistency management in object-oriented databases (Q2744786) (← links)