M-net Calculus Based Semantics for Triggers.

Véronique Benzaken Nicolas Hugon Hanna Klaudel Elisabeth Pelz Robert-C. Riemann

Published in: ICATPN (1998)

Keyphrases

formal language
algebraic structure
database query languages
active rules
formal semantics
relational calculus
knowledge base
proof theoretic
databases
control flow
active databases
proof procedure
semantic information
provably correct
proof theory
database systems
neural network