View updates in stratified disjunctive databases

DOI10.1007/BF00881907zbMath0802.68041OpenAlexW2095097684WikidataQ109585671 ScholiaQ109585671MaRDI QIDQ1319392

Jorge Lobo, Jack Minker, John F. Horty, J. R. Grant

Publication date: 12 April 1994

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

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

zbMATH Keywords

deductive databasesdisjunctive databasesview updatestratified database

Mathematics Subject Classification ID

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

Related Items

Semantic forgetting in answer set programming ⋮ Jack Minker --- A profile ⋮ A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases

Cites Work

• Updating knowledge bases
• Unnamed Item
• Unnamed Item

This page was built for publication: View updates in stratified disjunctive databases