scientific article; zbMATH DE number 1407677

zbMATH Open0944.68048MaRDI QIDQ4940932FDOQ4940932

Authors: Chandrabose Aravindan, Peter Baumgartner 

Publication date: 26 September 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

disjunctive logic programmingfirst-order theorem proving

Mathematics Subject Classification ID

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

Cited In (4)

• Theorem proving techniques for view deletion in databases
• SEF view deletion under bounded condition
• View updates in stratified disjunctive databases
• A Rational and Efficient Algorithm for View Revision 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)