scientific article; zbMATH DE number 219222

zbMath0789.68031MaRDI QIDQ4694705

Hendrik Decker

Publication date: 29 June 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

deductive databasesview updateSLDNF treeupdate request

Mathematics Subject Classification ID

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

Related Items (5)

Update operations in deductive databases with functional dependencies ⋮ Knowledge base dynamics, abduction, and database updates ⋮ Updating knowledge bases ⋮ Theorem proving techniques for view deletion in databases ⋮ Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation

Uses Software

• SATCHMO

This page was built for publication: