Deductive databases in four-valued logic: rule semantics and models

DOI10.1093/LOGCOM/EXAC047MaRDI QIDQ6042093zbMATH OpenOpenAlexFDO

Authors Dominique Laurent, Nicolas Spyratos

Publication date 16 May 2023

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

database modeldatabase updatedeductive databasefour-valued logicleast fix pointrule semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Update rules in datalog programs
• A three-valued semantics for deductive databases and logic programs
• Publication:3484349
• Update rules in Datalog programs
• Model theoretic approach to view updates in deductive databases

Cited in

(1)

• Gates and circuits via Dunn semantics

This page was built for publication: Deductive databases in four-valued logic: rule semantics and models

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