scientific article; zbMATH DE number 517063

zbMATH Open0793.68037MaRDI QIDQ4282591FDOQ4282591

Authors: Leszek Pacholski 

Publication date: 17 March 1994

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

undecidabilityHorn clause implication problem

Mathematics Subject Classification ID

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

Cited In (3)

• Implication of clauses is undecidable
• Title not available (Why is that?)
• 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)