Logical foundations of CafeOBJ.

Razvan Diaconescu Kokichi Futatsugi

Published in: Theor. Comput. Sci. (2002)

Keyphrases

logical foundations
active databases
fine grained
distributed systems
management system
software development
database technology
query processing
end users
knowledge representation
database design