Updating intensional predicates in deductive databases

DOI10.1016/S0169-023X(97)00028-1zbMATH Open0904.68090MaRDI QIDQ3840929FDOQ3840929

Authors:

Publication date: 13 August 1998

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

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

zbMATH Keywords

update semanticswell-founded semanticsdeductive database

Mathematics Subject Classification ID

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

Cited In (5)

• Passive and active rules in deductive databases
• Updating intensional predicates in Datalog
• Update rules in Datalog programs
• Model theoretic approach to view updates in deductive databases
• Update operations in deductive databases with functional dependencies

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)