• DOI:10.1145/101620.101641
Corpus ID: 57494147

COL: A Logic-Based Language for Complex Objects

@inproceedings{Abiteboul1987COLAL,
  title={COL: A Logic-Based Language for Complex Objects},
  author={S. Abiteboul and S. Grumbach},
  booktitle={DBPL},
  year={1987}
}

S. Abiteboul, S. Grumbach

Published in DBPL 1987

Computer Science

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… CONTINUE READING

View via Publisher

hal.inria.fr

Save to Library

Create Alert

Cite

Launch Research Feed