Updating intensional predicates in deductive databases

A method for updating deductive databases that allows the insertion or deletion of a fact over intensional predicates in a deterministic manner is presented. It is shown that, contrary to most other approaches, inserting or deleting facts over tensional predicates can always be accomplished without...

Full description

Saved in:
Bibliographic Details
Main Authors: Laurent, D., Phan Luong, V., Spyratos, N.
Format: Conference Proceeding
Language:English
Subjects:
Deductive databases
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A method for updating deductive databases that allows the insertion or deletion of a fact over intensional predicates in a deterministic manner is presented. It is shown that, contrary to most other approaches, inserting or deleting facts over tensional predicates can always be accomplished without having to make choices. The approach relies on well-founded semantics and on the following two basic approaches: deleted facts are explicitly stored in the database and the inserted and deleted facts may concern any predicate, not just extensional predicates.< >
DOI:10.1109/ICDE.1993.344082