Update rules in Datalog programs

DOI10.1007/3-540-59487-6_6MaRDI QIDQ5101442zbMATH OpenOpenAlexFDO

Authors Mírian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos

Publication date 30 August 2022

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59487-6_6

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• Update rules in datalog programs
• Updating intensional predicates in deductive databases
• Updating intensional predicates in Datalog
• Datalog extensions for database queries and updates
• scientific article; zbMATH DE number 1708075

Cites work

• scientific article; zbMATH DE number 4199653 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 25191 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• Negation by default and unstratifiable logic programs
• Negation in rule-based database languages: A survey
• On the relationship between circumscription and negation as failure
• Passive and active rules in deductive databases
• The well-founded semantics for general logic programs
• Update rules in datalog programs

Cited in

(7)

• scientific article; zbMATH DE number 1708075 (Why is no real title available?)
• Updating intensional predicates in Datalog
• Update rules in datalog programs
• Enhancing the expressive power of the U-Datalog language
• scientific article; zbMATH DE number 1487814 (Why is no real title available?)
• Deductive databases in four-valued logic: rule semantics and models
• Update programs versus revision programs

This page was built for publication: Update rules in Datalog programs

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