Piecewise initial algebra semantics.

Pieter Hendrik Rodenburg

Published in: J. Log. Algebraic Methods Program. (2007)

Keyphrases

algebraic structure
logic programming
algebraic operations
case study
knowledge base
data model
domain knowledge
linear model
piecewise linear
operational semantics
relational data model
algebraic operators