Database Integrity Block Construct: Concepts and Design Issues

DOI10.1109/TSE.1985.232546MaRDI QIDQ3686080zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 1985

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tse.1985.232546

zbMATH Keywords

approximation algorithmsaudit traildatabase restorationdatabase systemdifferential filedirected traveling salesman problemintegrity verificationmultiple-query optimizationNP-completenesssoftware fault-tolerance

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• A Scheme for Batch Verification of Integrity Assertions in a Database System
• scientific article; zbMATH DE number 1717351
• scientific article; zbMATH DE number 1227002
• Correctness of semantic integrity checking in database management systems
• A theory of reliability in database systems

Cited in

(1)

• A Scheme for Batch Verification of Integrity Assertions in a Database System

This page was built for publication: Database Integrity Block Construct: Concepts and Design Issues

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