Deductive Databases: Implementation, Parallelism and Applications | SpringerLink
Skip to main content
Springer Nature Link
Log in

Deductive Databases: Implementation, Parallelism and Applications

  • Conference paper
Logic Programming (ICLP 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4079))

Included in the following conference series:

  • 481 Accesses

Abstract

The area of integrating or coupling a database with LP systems in order to obtain a Deductive Database System (DDS) is still of interest and poses many research problems. In particular, the basis for my work is the MySQL Yap Deductive DAtabase System (MYDDAS) [3] which couples the Yap system with the MySQL Relational Database Management System. The connection between these two platforms is achieved by the C foreign language interface that both systems provide.

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

Similar content being viewed by others

References

  1. Draxler, C.: Accessing Relational and Higher Databases Through Database Set Predicates. PhD thesis, Zurich University (1991)

    Google Scholar 

  2. Fonseca, N., Camacho, R., Silva, F., Santos Costa, V.: Induction with April: A Preliminary Report. Technical Report DCC-2003-02, Department of Computer Science, University of Porto (2003)

    Google Scholar 

  3. Soares, T., Ferreira, M., Rocha, R.: The MYDDAS Programmer’s Manual. Technical Report DCC-2005-10, Department of Computer Science, University of Porto (2005)

    Google Scholar 

  4. Soares, T., Rocha, R., Ferreira, M.: Pruning Extensional Predicates in Deductive Databases. Colloquium on Implementation of Constraint and LOgic Programming Systems, 13–24 (2005)

    Google Scholar 

  5. Soares, T., Rocha, R., Ferreira, M.: Generic Cut Actions for External Prolog Predicates. In: Van Hentenryck, P. (ed.) PADL 2006. LNCS, vol. 3819, pp. 16–30. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DCC-FC & LIACC, University of Porto, 4150-180, Porto, Portugal

    Tiago Soares

Authors
  1. Tiago Soares
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Twente, The Netherlands

    Sandro Etalle

  2. Department of Computer Science, University of Kentucky, 40506, Lexington, KY, USA

    Mirosław Truszczyński

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Soares, T. (2006). Deductive Databases: Implementation, Parallelism and Applications. In: Etalle, S., Truszczyński, M. (eds) Logic Programming. ICLP 2006. Lecture Notes in Computer Science, vol 4079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11799573_52

Download citation

  • DOI: https://doi.org/10.1007/11799573_52

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-36636-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation