Pages that link to "Item:Q1367079"
From MaRDI portal
The following pages link to Deduction trees and the view update problem in indefinite deductive databases (Q1367079):
Displaying 6 items.
- Computing only minimal answers in disjunctive deductive databases (Q1040782) (← links)
- View updates in stratified disjunctive databases (Q1319392) (← links)
- Model theoretic approach to view updates in deductive databases (Q1815856) (← links)
- The View-Update Problem for Indefinite Databases (Q2915065) (← links)
- Advances in Databases and Information Systems (Q5464730) (← links)
- A logical framework for view updating in indefinite databases (Q5865558) (← links)