Pages that link to "Item:Q1071525"
From MaRDI portal
The following pages link to The implication and finite implication problems for typed template dependencies (Q1071525):
Displaying 8 items.
- Some characterizations of finitely specifiable implicational dependency families (Q578937) (← links)
- On rules with existential variables: walking the decidability line (Q646515) (← links)
- The implication and finite implication problems for typed template dependencies (Q1071525) (← links)
- Verification of knowledge bases based on containment checking (Q1274279) (← links)
- Combining Horn rules and description logics in CARIN (Q1274681) (← links)
- Incomplete deductive databases (Q1360679) (← links)
- The inference problem for template dependencies (Q3340200) (← links)
- Database Theory, Yuri, and Me (Q3585996) (← links)