Constraints and Redundancy in Datalog.

Alon Y. Levy Yehoshua Sagiv

Published in: PODS (1992)

Keyphrases

expressive power
data sets
logic programming
constrained optimization
constraint satisfaction
information content
global constraints
database
query language
data sources
datalog queries