COL: A Logic-Based Language for Complex Objects

  title={COL: A Logic-Based Language for Complex Objects},
  author={S. Abiteboul and S. Grumbach},
  • 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
    28 Citations

    Topics from this paper

    A Deductive and Typed Object-Oriented Language
    • 27
    • PDF
    C-logic of complex objects
    • 126
    A Logic Programming with Complex Objects
    • M. Kifer, J. Wu
    • Computer Science, Mathematics
    • J. Comput. Syst. Sci.
    • 1993
    • 70
    An Overview of the ROL Language
    • 1
    Object-Oriented Query Languages: The Notion and the Issues
    • 170
    Database theory column
    • 36
    G-Log: A Graph-Based Query Language
    • 110


    COL: A Logic-Based Language for Complex Objects
    • 167
    • PDF
    FQL: a functional query language
    • 155
    IFO: a formal semantic database model
    • 320
    A new approach to database logic
    • 172
    On Database Logic
    • 98
    Restructuring Hierarchical Database Objects
    • 82
    • PDF
    SQL/NF: a query language for ¬1 NF relational databases
    • 139
    The Format Model: A Theory of database Organization
    • 115
    A calculus for complex objects
    • 220