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

DOI10.1109/TSE.1984.5010295zbMath0547.68091MaRDI QIDQ3339324

No author found.

Publication date: 1984

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

zbMATH Keywords

NP-hardoptimal scheduleapproximation algorithmsdatabase managementdatabase verificationsemantic integrityintegrity control subsystemsuboptimal schedules

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

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