Skip to Main content Skip to Navigation
Book sections

COL : a logic-based language for complex objects

Serge Abiteboul 1 Stéphane Grumbach 1
1 VERSO - Databases
Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR8629
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.
Document type :
Book sections
Complete list of metadata
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 7:08:15 PM
Last modification on : Wednesday, April 17, 2019 - 4:08:01 PM
Long-term archiving on: : Friday, May 13, 2011 - 3:40:13 PM




Serge Abiteboul, Stéphane Grumbach. COL : a logic-based language for complex objects. François Bancilhon ; Peter Buneman. Advances in database programming languages, ACM Press, pp.347-374, 1987, 0-201-50257-7. ⟨10.1145/101620.101641⟩. ⟨inria-00075838⟩



Record views


Files downloads