A Dynamic Logic Account of Active Integrity Constraints

DOI10.3233/FI-2019-1843zbMath1427.68064OpenAlexW2979410447MaRDI QIDQ4973846

Andreas Herzig, Guillaume Feuillade, Christos Rantsoudis

Publication date: 6 December 2019

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2019-1843

zbMATH Keywords

dynamic logicpropositional assignmentsactive integrity constraints

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70)

Related Items (1)

Resource separation in dynamic logic of propositional assignments

This page was built for publication: A Dynamic Logic Account of Active Integrity Constraints