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
Reusing and modifying rulebases by predicate substitution, Algebraic and calculus query languages for recursively typed complex objects
Uses Software