Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases

DOI10.1093/LOGCOM/5.1.27zbMath0988.68551OpenAlexW2090290455MaRDI QIDQ4323002

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

Publication date: 27 July 1995

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/5.1.27

Mathematics Subject Classification ID

Database theory (68P15) Other applications of logic (03B80)

Related Items (1)

Regular database update logics

This page was built for publication: Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases