The following pages link to (Q4329266):
Displaying 12 items.
- On the consistency of defeasible databases (Q1190793) (← links)
- Verifiable properties of database transactions (Q1281498) (← links)
- Relational database constraints as counterexamples (Q1357808) (← links)
- Annotation theories over finite graphs (Q2269516) (← links)
- Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals (Q2462670) (← links)
- An integrity constraint for database systems containing embedded static neural networks (Q2738995) (← links)
- A generalisation of entity and referential integrity in relational databases (Q2771491) (← links)
- Integrity constraint checking in stratified databases (Q3786031) (← links)
- Maintaining state constraints in relational databases: a proof theoretic basis (Q3833655) (← links)
- DICE: declarative integrity constraint embedding into the object database standard ODMG-93 (Q4398689) (← links)
- Inconsistency Tolerance (Q5464029) (← links)
- (Q5689985) (← links)