An Operational Semantics for Network Datalog.

Vivek Nigam Limin Jia Anduo Wang Boon Thau Loo Andre Scedrov

Published in: LAM@LICS (2010)

Keyphrases

operational semantics
expressive power
network structure
mental states
formal semantics
database systems
denotational semantics
database
distance learning
deductive databases
model theoretic