Publication:3798291
From MaRDI portal
zbMath0652.68107MaRDI QIDQ3798291
Publication date: 1988
datalog; relational databases; deletions; database queries; Horn-clause logic; hypothetical additions; logic with negation-by-failure
68Q25: Analysis of algorithms and problem complexity
68P20: Information storage and retrieval of data
Related Items
Foundations of semantic web databases, Reusing and modifying rulebases by predicate substitution, Algebraic and calculus query languages for recursively typed complex objects
Uses Software