Update rules in datalog programs

DOI10.1093/LOGCOM/8.6.745MaRDI QIDQ4228073zbMATH OpenOpenAlexFDO

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

Publication date 2 February 1999

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

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

zbMATH Keywords

datalogdeductive database model

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Update rules in Datalog programs
• scientific article; zbMATH DE number 1708075
• Updating intensional predicates in Datalog
• Passive and active rules in deductive databases
• Model theoretic approach to view updates in deductive databases

Cited in

(9)

• Update operations in deductive databases with functional dependencies
• scientific article; zbMATH DE number 1708075 (Why is no real title available?)
• scientific article; zbMATH DE number 1487814 (Why is no real title available?)
• Passive and active rules in deductive databases
• Update rules in Datalog programs
• Advances in Databases and Information Systems
• Regular database update logics
• Deductive databases in four-valued logic: rule semantics and models
• Main issues in belief revision, belief merging and information fusion

Describes a project that uses

Uses Software

• Datalog

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 Q4228073)