A Horn Clause-like Logic for Specifying Concurrency.

Published in: ICLP (1982)

Keyphrases

horn clauses
inference rules
first order logic
logic programs
lattice theory
inductive logic programming
database systems
concurrency control
database queries
transaction processing
logic programming
distributed databases
fault models
databases
background knowledge