Computing universal models under guarded TGDs.

Published in: ICDT (2012)

Keyphrases

temporal logic
query answering
data exchange
belief revision
relational databases
integrity constraints
desirable properties
horn clauses
probabilistic databases
dl lite
inclusion dependencies