COL : a logic-based language for complex objects - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 1987

COL : a logic-based language for complex objects

Serge Abiteboul
Stéphane Grumbach


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.


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-0714.pdf (1.01 Mo) Télécharger le fichier

Dates and versions

inria-00075838 , version 1 (24-05-2006)



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⟩
84 View
219 Download



Gmail Facebook Twitter LinkedIn More