Visible acyclic differential nets, Part I: Semantics.

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

cp nets
formal semantics
np complete
np hard
logic programming
conceptual model
schema mappings
graphical representation
database schemes