An Algorithmic Logic Approach to Formalizing Database Update Semantics
From MaRDI portal
Publication:4236065
DOI10.1080/11663081.1998.10510942zbMath0923.68047MaRDI QIDQ4236065
James Vorbach, James N. Brawner
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
specification languages; event-formula logic; Event-Formula Logic; multi-paradigm design environments
68P15: Database theory
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work