Logic for improving integrity checking in relational data bases?

• 1 December 1982
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 18  (3) , 227-253
• https://doi.org/10.1007/bf00263192

Abstract

Keywords

• LOGIC
• UPDATING
• NEW STATE
• SIMPLIFIED FORMS
• SATISFIED
• INTEGRITY CONSTRAINT