Skip to main content
SpringerLink
Log in

A Relational Algebra for Functional Logic Deductive Databases

  • Conference paper
Perspectives of System Informatics (PSI 2003)

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

Abstract

In this paper, we study the integration of functional logic programming and databases by presenting a data model, and a query and data definition language. The data model is adopted from functional logic programming by allowing complex values. The query and data definition language is based on the use of algebra expressions built from a set of algebra operators over an extended relational algebra. In addition, algebra expressions can be used for defining functions, typical in a functional logic program.

This work has been partially supported by the Spanish project of the Ministry of Science and Technology “INDALOG” TIC2002-03968.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., Beeri, C.: The Power of Languages for the Manipulation of Complex Values. VLDB 4(4), 727–794 (1995)

    Article  Google Scholar 

  2. Almendros-Jiménez, J.M., Becerra-Terón, A.: A Safe Relational Calculus for Functional Logic Deductive Databases. Selected Papers of the WFLP 2003, To appear in Electronic Notes on Theoretical Computer Science, 86(3) (2003)

    Google Scholar 

  3. Almendros-Jiménez, J.M., Becerra-Terón, A., Sánchez-Hernández, J.: A Computational Model for Funtional Logic Deductive Databases. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol. 2237, pp. 331–347. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  4. Almendros-Jiménez, J.M., Becerra-Terón, A.: A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs. In: Kuchen, H., Ueda, K. (eds.) FLOPS 2001. LNCS, vol. 2024, pp. 153–169. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  5. Belussi, A., Bertino, E., Catania, B.: An Extended Algebra for Constraint Databases. TKDE 10(5), 686–705 (1998)

    Google Scholar 

  6. Codd, E.F.: A Relational Model of Data for Large Shared Data Banks. Communications of the ACM, CACM 13(6), 377–387 (1970)

    Article  MATH  Google Scholar 

  7. Codd, E.F.: Relational Completeness of Data Base Sublanguages. In: Rustin, R. (ed.) Database Systems, pp. 65–98. Prentice-Hall, Englewood Cliffs (1972)

    Google Scholar 

  8. González-Moreno, J.C., Hortalá-González, M.T., López-Fraguas, F.J., Rodríguez-Artalejo, M.: An Approach to Declarative Programming Based on a Rewriting Logic. JLP 1(40), 47–87 (1999)

    Article  Google Scholar 

  9. Hanus, M.: The Integration of Functions into Logic Programming: From Theory to Practice. JLP 19(20), 583–628 (1994)

    Article  MathSciNet  Google Scholar 

  10. Kanellakis, P., Goldin, D.: Constraint Query Algebras. Constraints 1(1-2), 45–83 (1996)

    Article  MathSciNet  Google Scholar 

  11. López-Fraguas, F.J., Sánchez-Hernández, J.: Proving Failure in Functional Logic Programs. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 179–193. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpto. de Lenguajes y Computación, Universidad de Almería,  

    Jesús Manuel Almendros-Jiménez & Antonio Becerra-Terón

Authors
  1. Jesús Manuel Almendros-Jiménez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonio Becerra-Terón
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technische Universität München, Germany

    Manfred Broy

  2. A.P. Ershov Institute of Informatics Systems, Siberian Branch of Russian Academy of Sciences, 630090, Novosibirsk, Russia

    Alexandre V. Zamulin

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Almendros-Jiménez, J.M., Becerra-Terón, A. (2004). A Relational Algebra for Functional Logic Deductive Databases. In: Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 2003. Lecture Notes in Computer Science, vol 2890. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39866-0_48

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-39866-0_48

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20813-6

  • Online ISBN: 978-3-540-39866-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation