HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 7:08:15 PM
Last modification on : Friday, February 4, 2022 - 3:08:10 AM
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