Initial Algebra Semantics for Cyclic Sharing Structures.

Published in: TLCA (2009)

Keyphrases

algebraic structure
data sets
fixed point semantics
formal semantics
databases
algebraic operations
model theoretic
query language
information sharing
logic programming
neural network
deductive databases
relational algebra
data sharing
semantic information
reasoning tasks
knowledge base
database query languages