scientific article; zbMATH DE number 4049163

MaRDI QIDQ3786044zbMATH OpenFDO

Authors Laurence Cholvy

Publication date 1986

zbMATH Keywords

domain closureupdate semantics

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Recommendations

• Database updates and transition constraints: A formula-based approach
• Deriving properties of belief update from theories of action
• Deterministic enforcement of constraints
• An order-based theory of updates for closed database views
• On specifying database updates

Cited in

(3)

• Defaults in update semantics
• A temporal revision model for reasoning about world change
• Regular database update logics

This page was built for publication:

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