Update operations in deductive databases with functional dependencies

DOI10.1007/BF01213208MaRDI QIDQ1338902zbMATH OpenOpenAlexWikidataFDO

Authors Riccardo Torlone

Publication date 23 November 1994

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01213208

zbMATH Keywords

consistencydeductive databasesdeterminismintegrity constraintsrepresentability

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Review text

We study the problem of updating intensional relations in the framework of deductive databases on which integrity constraints (specifically functional dependencies) are defined. First, a formalization of a model- theoretic semantics of updates is provided: the notions of representability, consistency and determinism are introduced to characterize the various case. Then, a proof-theoretic approach, based on a variant of resolution integrated with the chase procedure, is defined, showing that the method exactly captures the above notions. It turns out that using functional dependencies it is possible to resolve potential ambiguities in several practical cases. Also, precomputations can be performed at definition time to execute update requests more efficiently.

Recommendations

• Updating intensional predicates in deductive databases
• Updating intensional predicates in Datalog
• scientific article; zbMATH DE number 219222
• Update rules in datalog programs
• Model theoretic approach to view updates in deductive databases

Cites work

• scientific article; zbMATH DE number 3132713 (Why is no real title available?)
• scientific article; zbMATH DE number 4162254 (Why is no real title available?)
• scientific article; zbMATH DE number 33190 (Why is no real title available?)
• scientific article; zbMATH DE number 35423 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 219222 (Why is no real title available?)
• Minimizing function-free recursive inference rules
• On the correct translation of update operations on relational views
• Properties and update semantics of consistent views
• Testing satisfaction of functional dependencies
• Update semantics of relational views
• Updates of Relational Views
• Updating intensional predicates in Datalog
• Updating knowledge bases

Cited in

(7)

• Model theoretic approach to view updates in deductive databases
• Updating intensional predicates in deductive databases
• Updating intensional predicates in Datalog
• scientific article; zbMATH DE number 559226 (Why is no real title available?)
• scientific article; zbMATH DE number 2061711 (Why is no real title available?)
• scientific article; zbMATH DE number 219222 (Why is no real title available?)
• Checking functional consistency in deductive databases

This page was built for publication: Update operations in deductive databases with functional dependencies

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