A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism.

Michal Walicki Sigurd Meldal

Published in: ACM Trans. Program. Lang. Syst. (1995)

Keyphrases

algebraic structure
database query languages
formal language
provably correct
logic programming
situation calculus
database
data sets
databases
metadata
semantic information
formal semantics
expressive power
computational properties