Certain Answers for Views and Queries Expressed as Non-recursive Datalog Programs with Negation.

Victor Felea

Browse the full ACIIDS paper archive.