Multiplicative type complex calculus as an alternative to the classical calculus.

Published in: Comput. Math. Appl. (2010)

Keyphrases

type checking
data sets
information systems
computer algebra
complex systems
database query languages
database
databases
real world
database systems
relational calculus
automated deduction
algebraic structure
database programming language