scientific article; zbMATH DE number 638303

MaRDI QIDQ4305302zbMATH OpenFDO

Authors Dietmar Seipel

Publication date 1994

zbMATH Keywords

linear recursive Datalog programsrecursive rule program

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 139798
• On the complexity of single-rule datalog queries.
• scientific article; zbMATH DE number 1405452
• Linearisability on Datalog programs

Cited in

(11)

• On the complexity of single-rule datalog queries.
• Linearisability on Datalog programs
• Generalization of ZYT-linearizability for bilinear datalog programs
• scientific article; zbMATH DE number 1638651 (Why is no real title available?)
• An accelerated search on the graph: PROLOG representation
• On the Expressive Power of Graph Logic
• Logic Programming with Graph Automorphism: Integratingnautywith Prolog (Tool Description)
• A linear algebraic approach to Datalog evaluation
• scientific article; zbMATH DE number 1405452 (Why is no real title available?)
• Graph theoretical structures in logic programs and default theories
• On the decomposition of datalog program mappings

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