scientific article; zbMATH DE number 559226

zbMATH Open0791.68037MaRDI QIDQ4289285FDOQ4289285

Authors: Ron Seljée 

Publication date: 24 May 1994

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

Recommendations

• scientific article; zbMATH DE number 4085067
• Incremental Integrity Checking: Limitations and Possibilities
• scientific article; zbMATH DE number 4064545
• Three types of redundancy in integrity checking: An optimal solution
• Update operations in deductive databases with functional dependencies

zbMATH Keywords

verificationupdatesdeductive databasesintegrity checking

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• On the abductive or deductive nature of database schema validation and update processing problems
• Database updates and transition constraints: A formula-based approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• Three types of redundancy in integrity checking: An optimal solution
• Incremental Integrity Checking: Limitations and Possibilities
• Title not available (Why is that?)

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 Q4289285)