A logic-based language for manipulating complex objects constructed using set and tuple constructors is introduced. A key feature of the language is the use of base and derived data functions. Under some stratification restrictions, the semantics of programs is given by a canonical minimal and causal 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 query evaluation are presented.
CITATION STYLE
Abiteboul, S., & Grumbach, S. (1988). COL: A logic-based language for complex objects. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 303 LNCS, pp. 271–293). Springer Verlag. https://doi.org/10.1007/3-540-19074-0_58
Mendeley helps you to discover research relevant for your work.