Updating intensional predicates in deductive databases

DOI10.1016/S0169-023X(97)00028-1MaRDI QIDQ3840929zbMATH OpenFDO

Authors

Publication date 13 August 1998

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

Full work available at URL https://doi.org/10.1016/S0169-023X(97)00028-1

zbMATH Keywords

deductive databaseupdate semanticswell-founded semantics

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Semantics in the theory of computing (68Q55)

Recommendations

• Updating intensional predicates in Datalog
• Model theoretic approach to view updates in deductive databases
• Update operations in deductive databases with functional dependencies
• View updates in stratified disjunctive databases

Cited in

(6)

• Update operations in deductive databases with functional dependencies
• The use of deleted tuples in database querying and updating
• Model theoretic approach to view updates in deductive databases
• Updating intensional predicates in Datalog
• Passive and active rules in deductive databases
• Update rules in Datalog programs

This page was built for publication: Updating intensional predicates in deductive databases

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