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

DOI10.1109/TSE.1984.5010295MaRDI QIDQ3339324zbMATH OpenFDO

Authors

Publication date 1984

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

Full work available at URL https://doi.org/10.1109/TSE.1984.5010295

zbMATH Keywords

approximation algorithmsdatabase managementdatabase verificationintegrity control subsystemNP-hardoptimal schedulesemantic integritysuboptimal schedules

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Recommendations

• Correctness of semantic integrity checking in database management systems
• Database Integrity Block Construct: Concepts and Design Issues
• scientific article; zbMATH DE number 1717351
• scientific article; zbMATH DE number 966594
• scientific article; zbMATH DE number 1735904

Cited in

(3)

• Correctness of semantic integrity checking in database management systems
• scientific article; zbMATH DE number 1717351 (Why is no real title available?)
• Database Integrity Block Construct: Concepts and Design Issues

This page was built for publication: A Scheme for Batch Verification of Integrity Assertions in a Database System

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