A short Oxford survey of order sorted algebra..

Joseph A. Goguen Razvan Diaconescu

Published in: Bull. EATCS (1992)

Keyphrases

order sorted
predicate logic
relational algebra
query language
information systems
data mining
artificial intelligence
data model
information extraction
expressive power
algebraic structure