Algebra Unifies Operational Calculi.

Stephan van Staden Tony Hoare

Published in: UTP (2012)

Keyphrases

interval algebra
query language
algebraic expressions
decision making
maximal tractable
algebraic structure
database
data model
qualitative spatial and temporal reasoning
real time
databases
social networks
expert systems
knowledge representation
set theory
algebraic geometry