Static analysis in Datalog extensions

DOI10.1145/502102.502104MaRDI QIDQ3196624zbMATH OpenOpenAlexFDO

Authors Yehoshua Sagiv, Oded Shmueli, A. Levy, Inderpal S. Mumick

Publication date 30 October 2015

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/502102.502104

zbMATH Keywords

abstract interpretationDatalogquery containmentquery satisfiability

Mathematics Subject Classification ID

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

Recommendations

• About Boundedness for some Datalog and Datalog^neg Programs
• About boundedness for some DATALOG and DATALOG\textsuperscript{neg} programs
• Undecidable optimization problems for database logic programs
• Subsumption-stratified datalog
• On the equivalence of recursive and nonrecursive Datalog programs

Cited in

(5)

• Model-based recasting in answer-set programming
• scientific article; zbMATH DE number 1926632 (Why is no real title available?)
• About boundedness for some DATALOG and DATALOG\textsuperscript{neg} programs
• Static analysis for logic-based dynamic programs
• Static filtering on stratified programs

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Static analysis in Datalog extensions

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