Validating database updates

DOI10.1016/0306-4379(84)90012-7MaRDI QIDQ788499zbMATH OpenOpenAlexFDO

Authors Isamu Kobayashi

Publication date 1984

Published in Information Systems (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2433/103590

zbMATH Keywords

database relationsefficient validation procedureextended relational calculi

Mathematics Subject Classification ID

Data structures (68P05) Information storage and retrieval of data (68P20)

Recommendations

• On specifying database updates
• scientific article; zbMATH DE number 928019
• Deterministic enforcement of constraints
• scientific article; zbMATH DE number 1406248
• Maintaining state constraints in relational databases: a proof theoretic basis

Cited in

(1)

• On specifying database updates

This page was built for publication: Validating database updates

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