scientific article; zbMATH DE number 1407677

MaRDI QIDQ4940932zbMATH OpenFDO

Authors Chandrabose Aravindan, Peter Baumgartner

Publication date 26 September 2000

zbMATH Keywords

disjunctive logic programmingfirst-order theorem proving

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• A Rational and Efficient Algorithm for View Revision in Databases
• Theorem proving techniques for view deletion in databases
• Foundations of Information and Knowledge Systems
• Design of relational database schemes by deleting attributes in the canonical decomposition
• SEF view deletion under bounded condition
• On the existence of acyclic views in a database scheme
• The View-Update Problem for Indefinite Databases

Cited in

(4)

• View updates in stratified disjunctive databases
• SEF view deletion under bounded condition
• A Rational and Efficient Algorithm for View Revision in Databases
• Theorem proving techniques for view deletion in databases

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4940932)