Enhancing Disjunctive Datalog by Constraints.

Francesco Buccafurri Nicola Leone Pasquale Rullo

Published in: IEEE Trans. Knowl. Data Eng. (2000)

Keyphrases

expressive power
disjunctive datalog
constraint satisfaction
disjunctive logic programming
databases
software engineering