Proof Systems for Cause Based Equivalences.

Published in: MFCS (1993)

Keyphrases

relational algebra
query language
data model
building blocks
management system
complex systems
real time
neural network
intelligent systems
databases
data mining
knowledge based systems