Update operations in deductive databases with functional dependencies

DOI10.1007/BF01213208zbMath0818.68068OpenAlexW2074616854WikidataQ114694014 ScholiaQ114694014MaRDI QIDQ1338902

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

determinismconsistencyrepresentabilityintegrity constraintsdeductive databases

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Updating knowledge bases
• Updates of Relational Views
• Properties and update semantics of consistent views
• Minimizing function-free recursive inference rules
• Update semantics of relational views
• Testing satisfaction of functional dependencies
• On the correct translation of update operations on relational views
• Updating intensional predicates in Datalog

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