Generalization of Final Algebra Semantics by Relativization.
Lawrence S. MossSatish R. ThattePublished in: Mathematical Foundations of Programming Semantics (1989)
Keyphrases
- algebraic structure
- logic programming
- formal semantics
- data model
- relational data model
- algebraic operations
- conceptual model
- semantic representation
- data sets
- query language
- boolean algebra
- object identity
- relational operators
- database query languages
- aggregate functions
- operational semantics
- complex objects
- domain knowledge
- multi agent
- neural network