A Type System for the Relational Calculus of Object Systems.

Liang Zhao Xiangpeng Zhao Quan Long Zongyan Qiu

Published in: ICECCS (2006)

Keyphrases

complex objects
relational calculus
relational algebra
high level
expert systems
expressive power
type checking
metadata
data analysis
programming language
normal form