Type inference for datalog and its application to query optimisation.

Oege de Moor Damien Sereni Pavel Avgustinov Mathieu Verbaere

Published in: PODS (2008)

Keyphrases

query optimisation
expressive power
databases
website
bayesian networks
query language
integrity constraints
data exchange
query answering
transitive closure
datalog programs
information systems
logic programming
efficient learning
structured prediction
inference process