Characterizing D-WFS: Confluence and Iterated GCWA.

Stefan Brass Jürgen Dix

Published in: JELIA (1996)

Keyphrases

deductive databases
logic programs
counter intuitive
logic programming
database
data management
update operators
stable models
partial order
fixed point
programming language
general purpose
object oriented
special case
computational complexity
data structure
information retrieval