Skip to main content
SpringerLink
Log in

Col: A logic-based language for complex objects

  • Complex Database Objects
  • Conference paper
  • First Online:
Advances in Database Technology—EDBT '88 (EDBT 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 303))

Included in the following conference series:

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.

This research was supported in part by the Projet de Recherches Coordonnees BD3.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul S., and C. Beeri, On the Manipulation of Complex Objects, abstract in Proc. International Workshop on Theory and Applications of Nested Relations and Complex Objects, Darmstadt (1987)

    Google Scholar 

  2. Abiteboul, S., and N. Bidoit, "Non first normal form relations: an algebra allowing data restructuring", in Journal of Computer Systems and Science (1986).

    Google Scholar 

  3. Abiteboul, S., and S. Grumbach, COL: a Logic-Based Language for Complex Objects, Inria Internal Report 714 (1987)

    Google Scholar 

  4. Abiteboul S., and Hull, R., "IFO: A formal semantic database model," Proc. ACM SIGACT/SIGMOD Symposium on Principle of Database Systems (1984), to appear in ACM Transactions on Database Systems.

    Google Scholar 

  5. Abiteboul S., and Hull, R., "Object restructuring in semantic database models," Proc. Intern. Conf. on Database Theory, Roma (1986) to appear in Theoretical Computer Science

    Google Scholar 

  6. Abiteboul S., and Hull, R., Data Functions, Datalog and Negation, draft

    Google Scholar 

  7. Apt, K., H. Blair, A. Walker, Toward a Theory of Declarative Knowledge, Proc. of Workshop on Foundations of Deductive Database and Logic Programming (1986)

    Google Scholar 

  8. Bancilhon F., R. Ramakrishnan, An Amateur's Introduction to Recursive Query Processing Strategies, ACM SIGMOD Conference on Management of Data, Washington D.C. (1986)

    Google Scholar 

  9. Bancilhon F., et al, Magic Sets and Other Strange Ways to Implement Logic Programs, Proc. ACM SIGACT/SIGMOD Symposium on Principles of Database Systems (1986)

    Google Scholar 

  10. Bancilhon, F., and Khoshafian, S., "A calculus for complex objects, Proc. ACM SIGACT/SIGMOD Symposium on Principle of Database Systems (1985).

    Google Scholar 

  11. Beeri, C., et al., Sets and Negation in a Logic Database Language (LDL1), Proc. ACM SIGACT-SIGMOD Symposium on Principle of Database Systems (1987)

    Google Scholar 

  12. Bidoit, N., R. Hull, Positivism vs. Minimalism in Deductive Databases, proc. ACM SIGACT-SISMOD Symposium on Principles of Database Systems (1986)

    Google Scholar 

  13. Buneman, P., R.E. Frankel, FQL — a Functional Query Language (preliminary report) proc. ACM SIGMOD conf. on Management of Data (1979)

    Google Scholar 

  14. Dadam, P., History and Status of the Advanced Information Management Prototype, Proc. International Workshop on Theory and Applications of Nested Relations and Complex Objects, Darmstadt (1987)

    Google Scholar 

  15. Fischer, P., and Thomas, S., Operators for non-first-normal-form relations, Proc. 7th COMPSAC Chicago,(1983).

    Google Scholar 

  16. Gardarin G., C. de Maindreville, Evaluation of Database Recursive Logic Programs as Recurrent Function Series, proc. ACM SIGMOD conf. on Management of Data (1986)

    Google Scholar 

  17. Van Gelder, A., Negation as Failure Using Tight Derivations for General Logic Programs, Proc. of Workshop on Foundations of Deductive Database and Logic Programming (1986)

    Google Scholar 

  18. Hammer M., D. McLeod, Database Description with SDM: a semantic database model, ACM trans. on Database Systems 6,3 (1981)

    Google Scholar 

  19. Hull, R., R. King, Semantic database modeling: Survey, applications, and research issues. U.S.C. Computer Science Technical Report (1986) to appear in ACM computing surveys

    Google Scholar 

  20. Hull, R., C.K. Yap, The format model: A theory of database organization. Journal of the ACM 31(3) (1984)

    Google Scholar 

  21. Jacobs, B., on Database Logic, Journal of the ACM (1982).

    Google Scholar 

  22. Jaeschke, B., H.J. Schek, Remarks on the algebra of non first normal form relations, Proc. ACM SIGACT/SIGMOD Symposium on Principle of Database Systems, Los Angeles (1982)

    Google Scholar 

  23. Kuper, G.M., Logic Programming with Sets, Proc. ACM SIGACT/SIGMOD Symposium on Principle of Database Systems (1987)

    Google Scholar 

  24. Kuper, G.M., M.Y. Vardi, A new approach to database logic, proc. ACM SIGACT-SIGMOD Symp. on Principles of Database Systems (1984)

    Google Scholar 

  25. Lloyd, J., Foundations of Logic Programming, Spinger Verlag (1984)

    Google Scholar 

  26. Naqvi, S.A., A Logic for Negation in Database Systems, Proc. Workshop on Foundations of Deductive Databases and Logic Programming ed. J. Minker (1986)

    Google Scholar 

  27. Pistor, P., F. Andersen, Principles for designing a Generalized NF2 Data Model with an SQL-type Language Interface, IBM Heidelberg (1986)

    Google Scholar 

  28. Przymusinksi, T. C. On the Semantics of Stratified Deductive Databases and Logic Programs, to appear in Journal of Logic Programming

    Google Scholar 

  29. Roth, M.A., H.F. Korth, A. Silberschatz, Extended Algebra and Calculus for not 1NF Relational Databases, Technical Report, Department of Computer Science, University of Texas at Austin (1985)

    Google Scholar 

  30. Roth, M.A., H.F. Korth, and D.S. Batory, SQL/NF: A Query Language for ¬ 1NF Relational Databases, Technical Report, Department of Computer Science, University of Texas at Austin (1986)

    Google Scholar 

  31. Schek H., and M. Scholl, the Relational Model with relation-valued attributes, in Information Systems (1986)

    Google Scholar 

  32. Stonebraker M., Object Management in Postgres using Procedures, in the Postgres Papers, UCB report (1986)

    Google Scholar 

  33. Shipman, D., The Functional Data Model and the Data Language Daplex, ACM Transactions on Database Systems. (1981)

    Google Scholar 

  34. Verso, J., (pen name for the Verso team), Verso: a Database Machine Based on non-1NF Relations, Inria Internal Report (1986)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. I.N.R.I.A., 78153, Le Chesnay, France

    Serge Abiteboul & Stephane Grumbach

Authors
  1. Serge Abiteboul
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stephane Grumbach
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. Schmidt S. Ceri M. Missikoff

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

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. https://doi.org/10.1007/3-540-19074-0_58

Download citation

  • DOI: https://doi.org/10.1007/3-540-19074-0_58

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19074-5

  • Online ISBN: 978-3-540-39095-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation