Model theoretic approach to view updates in deductive databases
type: Item
instance of: scholarly article
title: Model theoretic approach to view updates in deductive databases
zbMATH Open document ID: 0855.68027
DOI: 10.1007/BF00244495
author: José Alberto Fernández
author: Jack Minker
author: John Grant
published in: Journal of Automated Reasoning
publication date: 1997-01-27T00:00:00Z
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 03C99
zbMATH DE Number: 947552
zbMATH Keywords: deductive databases
zbMATH Keywords: model theoretic approach
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf00244495
OpenAlex ID: W1989967897
Recommended article: Deduction trees and the view update problem in indefinite deductive databases
Recommended article: Q3835059
Recommended article: A logical framework for view updating in indefinite databases
Recommended article: Updating intensional predicates in deductive databases
Recommended article: Q4529633
Recommended article: A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases
Recommended article: Update operations in deductive databases with functional dependencies
Recommended article: An Algorithmic Logic Approach to Formalizing Database Update Semantics
Recommended article: Q4943320
description: scientific article; zbMATH DE number 947552