On transformations into linear database logic programs

DOI10.1007/3-540-62064-8_36MaRDI QIDQ6570942zbMATH OpenFDO

Authors Foto N. Afrati, Manolis Gergatsoulis, Maria Katzouraki

Publication date 11 July 2024

Full work available at URL https://doi.org/10.1007/3-540-62064-8_36

zbMATH Keywords

Datalog programsdeductive databasesprogram optimizationprogram transformations

Mathematics Subject Classification ID

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

Recommendations

• Linearisability on Datalog programs
• Transformations of logic programs
• Transformations of logic programs
• scientific article; zbMATH DE number 1534593
• Basic transformation operations which preserve computed answer substitutions of logic programs

Cites work

• An observation on time-storage trade off
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 177791 (Why is no real title available?)
• On datalog vs polynomial time
• The loop absorption and the generalization strategies for the development of logic programs and partial deduction
• Transformation of logic programs: Foundations and techniques

This page was built for publication: On transformations into linear database logic programs

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