scientific article; zbMATH DE number 517063

MaRDI QIDQ4282591zbMATH OpenFDO

Authors Leszek Pacholski

Publication date 17 March 1994

zbMATH Keywords

undecidabilityHorn clause implication problem

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Decidability of theories and sets of sentences (03B25)

Recommendations

• Complexity and undecidability results for logic programming
• Undecidable optimization problems for database logic programs
• On the undecidability of implications between embedded multivalued database dependencies
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• scientific article; zbMATH DE number 1256672

Cited in

(3)

• Implication of clauses is undecidable
• scientific article; zbMATH DE number 833906 (Why is no real title available?)
• Logical queries over views, decidability and expressiveness

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 Q4282591)