Col: A logic-based language for complex objects

  • Serge Abiteboul
  • Stephane Grumbach
Complex Database Objects

DOI: 10.1007/3-540-19074-0_58

Part of the Lecture Notes in Computer Science book series (LNCS, volume 303)
Cite this paper as:
Abiteboul S., Grumbach S. (1988) Col: A logic-based language for complex objects. In: Schmidt J.W., Ceri S., Missikoff M. (eds) Advances in Database Technology—EDBT '88. EDBT 1988. Lecture Notes in Computer Science, vol 303. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1988

Authors and Affiliations

  • Serge Abiteboul
    • 1
  • Stephane Grumbach
    • 1
  1. 1.I.N.R.I.A.Le ChesnayFrance

Personalised recommendations