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.
Type de document :
Chapitre d'ouvrage
François Bancilhon ; Peter Buneman. Advances in database programming languages, ACM Press, pp.347-374, 1987, 0-201-50257-7. 〈10.1145/101620.101641〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00075838
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 19:08:15
Dernière modification le : vendredi 25 mai 2018 - 12:02:04
Document(s) archivé(s) le : vendredi 13 mai 2011 - 15:40:13

Fichiers

Identifiants

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

196

Téléchargements de fichiers

166