A Scheme for Batch Verification of Integrity Assertions in a Database System
From MaRDI portal
Publication:3339324
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)
NP-hard; optimal schedule; approximation algorithms; database management; database verification; semantic integrity; integrity control subsystem; suboptimal schedules
68P20: Information storage and retrieval of data