scientific article; zbMATH DE number 559226

MaRDI QIDQ4289285zbMATH OpenFDO

Authors Ron Seljée

Publication date 24 May 1994

zbMATH Keywords

deductive databasesintegrity checkingupdatesverification

Mathematics Subject Classification ID

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

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

Cited in

(8)

• scientific article; zbMATH DE number 4064545 (Why is no real title available?)
• scientific article; zbMATH DE number 4085067 (Why is no real title available?)
• Database updates and transition constraints: A formula-based approach
• On the abductive or deductive nature of database schema validation and update processing problems
• scientific article; zbMATH DE number 1507286 (Why is no real title available?)
• Three types of redundancy in integrity checking: An optimal solution
• scientific article; zbMATH DE number 1406248 (Why is no real title available?)
• Incremental Integrity Checking: Limitations and Possibilities

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)