Updating intensional predicates in Datalog

DOI10.1016/0169-023X(92)90002-SMaRDI QIDQ4031370zbMATH OpenOpenAlexFDO

Authors Paolo Atzeni, Riccardo Torlone

Publication date 1 April 1993

Published in Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0169-023x(92)90002-s

zbMATH Keywords

resolutionupdate semanticsDatalog databaseintensional updates

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Update rules in Datalog programs
• Updating intensional predicates in deductive databases
• Update operations in deductive databases with functional dependencies
• Datalog extensions for database queries and updates
• View updates in stratified disjunctive databases

Cited in

(3)

• Updating intensional predicates in deductive databases
• Update rules in Datalog programs
• Update operations in deductive databases with functional dependencies

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Updating intensional predicates in Datalog

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