An Algorithmic Logic Approach to Formalizing Database Update Semantics

DOI10.1080/11663081.1998.10510942MaRDI QIDQ4236065zbMATH OpenOpenAlexFDO

Authors James N. Brawner, James Vorbach

Publication date 22 March 1999

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.1998.10510942

zbMATH Keywords

event-formula logicEvent-Formula Logicmulti-paradigm design environmentsspecification languages

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 44621
• scientific article; zbMATH DE number 1302016
• Formal semantics for database schemas
• scientific article; zbMATH DE number 3874667

Cites work

• First-order dynamic logic
• scientific article; zbMATH DE number 54325 (Why is no real title available?)
• scientific article; zbMATH DE number 52152 (Why is no real title available?)
• On first-order-logic databases
• Restructuring hierarchical database objects

Cited in

(4)

• Model theoretic approach to view updates in deductive databases
• Handling database updates in two-dimensional temporal logic
• Database updates and transition constraints: A formula-based approach
• scientific article; zbMATH DE number 1453061 (Why is no real title available?)

This page was built for publication: An Algorithmic Logic Approach to Formalizing Database Update Semantics

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