Regular database update logics

DOI10.1016/S0304-3975(00)00289-9zbMath0974.68046MaRDI QIDQ5940934

P. Spruit, R. J. Wieringa, John-Jules Ch. Meyer

Publication date: 20 August 2001

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

zbMATH Keywords

dynamic logicrelational algebradatabase updates

Mathematics Subject Classification ID

Database theory (68P15)

Uses Software

• Datalog

Cites Work

• First-order dynamic logic
• An overview of transaction logic
• Actors, actions, and initiative in normative system specification
• On the logic of theory change: Partial meet contraction and revision functions
• Addition and removal of information for a knowledge base with incomplete information
• Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item