Skip to main content
SpringerLink
Log in

Language extensions for semantic integration of deductive databases

  • Conference paper
  • First Online:
Logic in Databases (LID 1996)

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

Included in the following conference series:

Abstract

A language in support of semantic integration of deductive databases is proposed. The language allows one to construct mediators by extending logic programming with a suite of operators for composing programs and message passing features. The abstract semantics and implementation techniques of the extensions are discussed, and an example of integration of databases supporting libraries and departments is used to illustrate the usefulness of the approach.

Work partially supported by the EC-US Cooperative Activity Project and by CNR, grant #96.00069.02

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. K. R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 493–574. Elsevier, 1990. Vol. B.

    Google Scholar 

  2. D. Aquilino, P. Asirelli, C. Renso, and F. Turini. An operator for composing deductive databases with theories of constraints. In A. Nerode V. W. Marek, editor, 3rd International Conference on Logic Programming and Non Monotonic Reasoning, volume 928, Lexington, KY, USA, June 1995. LNCS.

    Google Scholar 

  3. N. Arni, K. Ong, and C. Zaniolo. Negation and aggregates in recursive rules: the LDL++ approach. In Proc. 3rd Int. Conference on Deductive and O-O DBs, DOOD93, Phoenix, December, 6–8 1993.

    Google Scholar 

  4. P. Asirelli, C. Renso, and F. Turini. Semantic integration of deductive databases. Technical Report TR B4-17, IEI-CNR, June 1996.

    Google Scholar 

  5. C. Beeri and R. Ramakrishnan. On the power of magic. Journal of Logic Programming, 10(324), 1991.

    Google Scholar 

  6. A. Brogi. Program Construction in Computational Logic. PhD thesis, University of Pisa, March 1993.

    Google Scholar 

  7. A. Brogi, A. Chiarelli, V. Mazzotta, P. Mancarella, D. Pedreschi, C. Renso, and F. Turini. Implementations of program composition operations. In M. Hermenegildo and J. Penjam, editors, Proceeding of the Sixth Int'l Symp. on Programming Language Implementation and Logic Programming, volume 844 of LNCS. Springer-Verlag, Berlin, 1994.

    Google Scholar 

  8. A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Modular Logic Programming. ACM Transactions on Programming Languages and Systems, 16(4):1361–1398, 1994.

    Google Scholar 

  9. A. Brogi, C. Renso, and F. Turini. Program composition and message passing in logic programming. technical report, University of Pisa, 1996.

    Google Scholar 

  10. A. Brogi and F. Turini. Fully abstract compositional semantics for an algebra of logic programs. Theoretical Computer Science, 150, 1995.

    Google Scholar 

  11. S. Chawathe, H. Garcia-Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, J. Ullman, and J. Widom. The TSIMMIS project: Integration of heterogeneous information sources. In Proceedings of IPSJ Conference, Tokyo, Japan, October 1994.

    Google Scholar 

  12. R. Krishnamurthy, W. Litwin, and W. Kent. Language features for interoperability of databases with schematic discrepancies. In ACM SIGMOD Conference, volume 20. ACM, 1991.

    Google Scholar 

  13. L. Lakshmanan, F. Sadri, and I. Subramanian. Logic and algebraic languages for interoperability in multidatabase systems. Technical Report TR-DB-95-01, Department of Computer Science, Concordia University, 1995.

    Google Scholar 

  14. J. Lu, A. Nerode, and V.S. Subrahmanian. Hybrid knowledge bases. IEEE Transactions on Knowledge and Data Engineering, 1994.

    Google Scholar 

  15. P. Mancarella and D. Pedreschi. An algebra of logic programs. In R. A. Kowalski and K. A. Bowen, editors, Proceedings Fifth International Conference on Logic Programming, pages 1006–1023. The MIT Press. 1988.

    Google Scholar 

  16. P. Mascellani and D. Pedreschi. The declarative side of magic. submitted for publication, 1996.

    Google Scholar 

  17. C. Palamidessi. Algebraic properties of idempotent substitutions. In Springer-Verlag, editor, Proc. of the 17th International Colloquium on Automata, Languages and Programming (ICALP), number 443 in Lecture Notes in Computer Science, pages 386–399, 1990.

    Google Scholar 

  18. Y. Papakostantinou, H. Garcia-Molina, and J. Ullman. Medmaker: A mediation system based on declarative specifications. In ICDE, 1996. to appear.

    Google Scholar 

  19. A. Silberschatz, M. Stonebraker, and J. Ullman. Database research: Achievements and oppurtunities into the 21st century. Technical report, NFS Report, 1995.

    Google Scholar 

  20. VS. Subrahmanian, S. Adali, A. Brink, JJ. Lu, A. Rajput, J. Rogers, R. Ross, and C. Ward. HERMES: A heterogeneous reasoning and mediator system. submitted for publication. Can be found in http://www.cs.umd.edu/projects/hermes/overview/paper/index.html.

    Google Scholar 

  21. J. Ullman. High level interoperation. Slides.

    Google Scholar 

  22. M. H. van Emden and R. A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733–742, 1976.

    Google Scholar 

  23. G. Wiederhold. Mediators in the architecture of future information systems. IEEE Computer, 25:38–49, March 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IEI-CNR, Via S. Maria, Pisa, Italy

    P. Asirelli

  2. Dipartimento di Informatica, Corso Italia, 40, 56125, Pisa, Italy

    C. Renso & F. Turini

Authors
  1. P. Asirelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. Renso
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. F. Turini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dino Pedreschi Carlo Zaniolo

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Asirelli, P., Renso, C., Turini, F. (1996). Language extensions for semantic integration of deductive databases. In: Pedreschi, D., Zaniolo, C. (eds) Logic in Databases. LID 1996. Lecture Notes in Computer Science, vol 1154. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031754

Download citation

  • DOI: https://doi.org/10.1007/BFb0031754

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61814-0

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation