Knowledgebase transformations

DOI10.1006/JCSS.1997.1454zbMath0869.68043OpenAlexW2913312284WikidataQ57641737 ScholiaQ57641737MaRDI QIDQ676426

Alberto O. Mendelzon, Gösta Grahne, Peter Z. Revesz

Publication date: 20 August 1997

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/1a38ff364eb5188b5979f9abe464a376f0ce9599

zbMATH Keywords

knowledgebasesuniformly queries

Mathematics Subject Classification ID

Database theory (68P15) Theory of programming languages (68N15)

Related Items (2)

Database querying under changing preferences ⋮ Merging First-Order Knowledge Using Dilation Operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The complexity of nested counterfactuals and iterated knowledge base revisions
• Procedural languages for database queries and updates
• Circumscription - a form of non-monotonic reasoning
• Propositional knowledge base revision and minimal change
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• The computational complexity of logical theories
• Structure and complexity of relational queries
• Updates and subjunctive queries
• On specifying database updates
• On the logic of theory change: Partial meet contraction and revision functions
• N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
• Update semantics of relational views

This page was built for publication: Knowledgebase transformations