Petri Net Semantics of Logic Programs and Deductive Databases.

Published in: GI Datenbank Rundbrief (1993)

Keyphrases

petri net
semantics of logic programs
deductive databases
integrity constraints
fixpoint
petri net model
logic programming
query evaluation
colored petri nets
stochastic petri net
fuzzy petri net
service composition
process model
functional dependencies
logic programs
query language
metadata