Reachability-based acyclicity analysis by Abstract Interpretation.

Samir Genaim Damiano Zanardini

Published in: Theor. Comput. Sci. (2013)

Keyphrases

abstract interpretation
static analysis
databases
information systems
database
logic programs
logic programming
data exchange