Logic as a Foundation for Deductive Database Systems.

Published in: IFIP Congress (1989)

Keyphrases

deductive database systems
logic programming
logic programs
modal logic
relational database systems
deductive databases
stable model semantics