An Algorithmic Logic Approach to Formalizing Database Update Semantics

DOI10.1080/11663081.1998.10510942zbMath0923.68047OpenAlexW2060950104MaRDI QIDQ4236065

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

specification languagesevent-formula logicEvent-Formula Logicmulti-paradigm design environments

Mathematics Subject Classification ID

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

Cites Work

• Restructuring hierarchical database objects
• First-order dynamic logic
• On first-order-logic databases
• Unnamed Item
• Unnamed Item

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