Login / Signup
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