Login / Signup
On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles.
Elio Damaggio
Richard Hull
Roman Vaculín
Published in:
BPM (2011)
Keyphrases
</>
fixpoint semantics
datalog programs
logic programs
model theoretic
business intelligence
deductive databases
data mining
fixpoint
data complexity
closed world assumption
conjunctive queries
business rules
data warehouse
logic programming
query answering