COL : a logic-based language for complex objects
Abstract
A logic-based language for manipuling complex objects constructed using set and tuple conctructors is introduced. Under some stratification restrictions, the semantic of programs is given by a canonical minimal and casual model that can be computed using a finite sequence of fixpoints. Applications of the language to procedural data, semantic database models, heterogeneous databases integration, and Datalog queries evalutation are presented.