Constraints for Improving the Generation of Intensional Answers in a Deductive Database.

Alain Pirotte Dominique Roelants

Published in: ICDE (1989)

Keyphrases

deductive databases
query evaluation
logic programming
integrity constraints
cardinality constraints
disjunctive deductive databases
fixpoint
integrity checking
constraint solving
knowledge representation
conjunctive queries