Login / Signup
Evaluating tradeoffs in granularity and overheads in supporting nonvolatile execution semantics.
Kaisheng Ma
Minli Julie Liao
Xueqing Li
Zhixuan Huan
Jack Sampson
Published in:
ISQED (2017)
Keyphrases
</>
formal semantics
control flow
response time
orders of magnitude
semantic information
active rules
execution model
data sets
design decisions
information systems
decision support
metadata
database systems
query language
deductive databases
semantic representation