Projection semantics for rigid loops

Jan A. Bergstra Alban Ponse

Published in: CoRR (2007)

Keyphrases

logic programming
conceptual model
databases
semantic information
formal semantics
projection method
data sets
information systems
knowledge base
three dimensional
image sequences
data model
x ray
semantic relationships
update semantics