An algebraic evaluation method for deduction in incomplete data bases

DOI10.1016/0743-1066(88)90009-XMaRDI QIDQ3792287zbMATH OpenOpenAlexFDO

Authors Robert Demolombe, Luis Fariñas del Cerro

Publication date 1988

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(88)90009-x

zbMATH Keywords

deductive data basesHorn clause theoriesincomplete databasesrelational algebraSkolem constants

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4049159
• scientific article; zbMATH DE number 3917748
• An algebraic construction of the well-founded model
• Relational Attribute Systems II: Reasoning with Relations in Information Structures
• scientific article; zbMATH DE number 18538

Cited in

(2)

• Intuitionistic interpretation of deductive databases with incomplete information
• Relational Attribute Systems II: Reasoning with Relations in Information Structures

This page was built for publication: An algebraic evaluation method for deduction in incomplete data bases

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