Default databases: Extending the approach of deductive databases using default logic

DOI10.1016/S0169-023X(97)00036-0MaRDI QIDQ3840876zbMATH OpenOpenAlexFDO

Authors Peter J. McBrien, Anthony Hunter

Publication date 13 August 1998

Published in Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0169-023x(97)00036-0

zbMATH Keywords

data modellingdeductive databasesdefault databasesdefault logicentity-relationship modellingincomplete informationinferential databasesnon-monotonic logicrule engineering

Mathematics Subject Classification ID

Data structures (68P05) Database theory (68P15) Logic in artificial intelligence (68T27)

Recommendations

• General Default Logic
• scientific article; zbMATH DE number 219216
• scientific article; zbMATH DE number 3917748
• Tableau-based characterization and theorem proving for default logic

This page was built for publication: Default databases: Extending the approach of deductive databases using default logic

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