Updating intensional predicates in Datalog

DOI10.1016/0169-023X(92)90002-SzbMATH Open0794.68039OpenAlexW2026728661MaRDI QIDQ4031370FDOQ4031370

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

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

zbMATH Keywords

resolutionupdate semanticsDatalog databaseintensional updates

Mathematics Subject Classification ID

Database theory (68P15)

Cited In (3)

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

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)