Foundations of modal deductive databases

MaRDI QIDQ5422268zbMATH OpenFDO

Authors Linh Anh Nguyen

Publication date 17 October 2007

zbMATH Keywords

data complexitydeductive databasesmagic-set transformationmodal logic programmingmodal logicsquery-subquery evaluationrelational algebraseminaive evaluation

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Database theory (68P15)

Recommendations

• The modal query language MDatalog
• The Data Complexity of MDatalog in Basic Modal Logics
• scientific article; zbMATH DE number 43591
• scientific article; zbMATH DE number 3936550
• Modal logics in the theory of relational databases

Cited in

(13)

• Minimalism, justification and non-monotonicity in deductive databases
• Modal logics in the theory of relational databases
• The modal query language MDatalog
• Declarative semantics of belief queries in MLS deductive databases
• COMPUTING THE WELL-FOUNDED MODEL OF DEDUCTIVE DATABASES
• scientific article; zbMATH DE number 4205970 (Why is no real title available?)
• scientific article; zbMATH DE number 3936550 (Why is no real title available?)
• scientific article; zbMATH DE number 52489 (Why is no real title available?)
• scientific article; zbMATH DE number 1114035 (Why is no real title available?)
• scientific article; zbMATH DE number 2085287 (Why is no real title available?)
• scientific article; zbMATH DE number 2090524 (Why is no real title available?)
• scientific article; zbMATH DE number 870410 (Why is no real title available?)
• The Data Complexity of MDatalog in Basic Modal Logics

This page was built for publication: Foundations of modal deductive databases

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