scientific article; zbMATH DE number 4064536

MaRDI QIDQ3798291zbMATH OpenFDO

Authors Anthony J. Bonner

Publication date 1988

zbMATH Keywords

database queriesdatalogdeletionsHorn-clause logichypothetical additionslogic with negation-by-failurerelational databases

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Hypothetical datalog: Complexity and expressibility
• A logical semantics for hypothetical rulebases with deletion
• Datalog extensions for database queries and updates
• Extending stratified datalog to capture complexity classes ranging from \(\mathcal P\) to \(Cal Q\mathcal H\)
• Extended database logic: Complex objects and deduction

Cited in

(5)

• A logical semantics for hypothetical rulebases with deletion
• Foundations of semantic web databases
• Reusing and modifying rulebases by predicate substitution
• Algebraic and calculus query languages for recursively typed complex objects
• Hypothetical datalog: Complexity and expressibility

Describes a project that uses

Uses Software

• Datalog

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3798291)