Col: A logic-based language for complex objects

  • Serge Abiteboul
  • Stephane Grumbach
Complex Database Objects
Part of the Lecture Notes in Computer Science book series (LNCS, volume 303)

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.

References

  1. [AB]
    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. [ABi]
    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. [AG]
    Abiteboul, S., and S. Grumbach, COL: a Logic-Based Language for Complex Objects, Inria Internal Report 714 (1987)Google Scholar
  4. [AH1]
    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. [AH2]
    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. [AH3]
    Abiteboul S., and Hull, R., Data Functions, Datalog and Negation, draftGoogle Scholar
  7. [ABW]
    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. [BR]
    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. [B+1]
    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. [BK]
    Bancilhon, F., and Khoshafian, S., "A calculus for complex objects, Proc. ACM SIGACT/SIGMOD Symposium on Principle of Database Systems (1985).Google Scholar
  11. [Be+]
    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. [BH]
    Bidoit, N., R. Hull, Positivism vs. Minimalism in Deductive Databases, proc. ACM SIGACT-SISMOD Symposium on Principles of Database Systems (1986)Google Scholar
  13. [BF]
    Buneman, P., R.E. Frankel, FQL — a Functional Query Language (preliminary report) proc. ACM SIGMOD conf. on Management of Data (1979)Google Scholar
  14. [D]
    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. [FT]
    Fischer, P., and Thomas, S., Operators for non-first-normal-form relations, Proc. 7th COMPSAC Chicago,(1983).Google Scholar
  16. [GM]
    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. [G]
    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. [HM]
    Hammer M., D. McLeod, Database Description with SDM: a semantic database model, ACM trans. on Database Systems 6,3 (1981) Google Scholar
  19. [HK]
    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 surveysGoogle Scholar
  20. [HY]
    Hull, R., C.K. Yap, The format model: A theory of database organization. Journal of the ACM 31(3) (1984)Google Scholar
  21. [J]
    Jacobs, B., on Database Logic, Journal of the ACM (1982).Google Scholar
  22. [JS]
    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. [K]
    Kuper, G.M., Logic Programming with Sets, Proc. ACM SIGACT/SIGMOD Symposium on Principle of Database Systems (1987)Google Scholar
  24. [KV]
    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. [L]
    Lloyd, J., Foundations of Logic Programming, Spinger Verlag (1984)Google Scholar
  26. [N]
    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. [Pi]
    Pistor, P., F. Andersen, Principles for designing a Generalized NF2 Data Model with an SQL-type Language Interface, IBM Heidelberg (1986)Google Scholar
  28. [P]
    Przymusinksi, T. C. On the Semantics of Stratified Deductive Databases and Logic Programs, to appear in Journal of Logic Programming Google Scholar
  29. [RKS]
    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. [RKB]
    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. [SS]
    Schek H., and M. Scholl, the Relational Model with relation-valued attributes, in Information Systems (1986)Google Scholar
  32. [S]
    Stonebraker M., Object Management in Postgres using Procedures, in the Postgres Papers, UCB report (1986)Google Scholar
  33. [Sh]
    Shipman, D., The Functional Data Model and the Data Language Daplex, ACM Transactions on Database Systems. (1981)Google Scholar
  34. [V]
    Verso, J., (pen name for the Verso team), Verso: a Database Machine Based on non-1NF Relations, Inria Internal Report (1986)Google Scholar

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