Extended alias type system using separating implication.

Toshiyuki Maeda Haruki Sato Akinori Yonezawa

Published in: TLDI (2011)

Keyphrases

management system
functional dependencies
database
artificial intelligence
cooperative
expert systems
multiresolution