Regular database update logics

DOI10.1016/S0304-3975(00)00289-9MaRDI QIDQ5940934zbMATH OpenFDO

Authors P. Spruit, R. Wieringa, John-Jules Meyer

Publication date 20 August 2001

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://ris.utwente.nl/ws/files/6628171/Spruit01regular.pdf

zbMATH Keywords

database updatesdynamic logicrelational algebra

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases
• Update rules in datalog programs
• Tableaux for Reasoning about Atomic Updates
• On specifying database updates
• scientific article; zbMATH DE number 4049164

Cites work

• Actors, actions, and initiative in normative system specification
• Addition and removal of information for a knowledge base with incomplete information
• An overview of transaction logic
• Applications of transaction logic to knowledge representation
• Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases
• First-order dynamic logic
• scientific article; zbMATH DE number 4168658 (Why is no real title available?)
• scientific article; zbMATH DE number 4049163 (Why is no real title available?)
• scientific article; zbMATH DE number 3750248 (Why is no real title available?)
• scientific article; zbMATH DE number 44621 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 683369 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1142324 (Why is no real title available?)
• scientific article; zbMATH DE number 219220 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• On the logic of theory change: Partial meet contraction and revision functions

Cited in

(1)

• Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Regular database update logics

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