Static analysis in datalog extensions

DOI10.1145/502102.502104zbMath1323.68085OpenAlexW2077261730MaRDI QIDQ3196624

Yehoshua Sagiv, Oded Shmueli, Alon Y. Halevy, Inderpal Singh 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

Datalogabstract interpretationquery containmentquery satisfiability

Mathematics Subject Classification ID

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

Related Items (1)

Model-based recasting in answer-set programming

Uses Software

• Datalog

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