Pages that link to "Item:Q3092739"
From MaRDI portal
The following pages link to Database Repairing and Consistent Query Answering (Q3092739):
Displaying 8 items.
- Prioritized repairing and consistent query answering in relational databases (Q454141) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT (Q3305339) (← links)
- On Enumerating Query Plans Using Analytic Tableau (Q3455780) (← links)
- (Q5091138) (← links)
- Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory (Q6597957) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)