Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algebraic Methodology and Software Technology

AMAST 1995: Algebraic Methodology and Software Technology pp 581–584Cite as

An object-oriented front-end for deductive databases

  • Refereed Contributions
  • Conference paper
  • First Online:

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

Abstract

We present the Orlog deductive object-oriented database system prototype. The implementation of the system relies on the idea of reducing inheritance to deduction and giving a relational interpretation to every Orlog database. The prototype is a user transparent front-end for CORAL deductive database system and provides a full-fledged programming environment in Orlog.

This research was supported in part by grants from the Natural Sciences and Engineering Research Council of Canada and the Fonds Pour Formation De Chercheurs Et L'Aide À La Recherche of Quebec.

This author's research was additionally supported in part by grants from the Canadian Commonwealth Scholarship and Fellowship Plan and the University of Dhaka, Bangladesh.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. D. Chimenti et. al. The LDL system prototype. IEEE Journal on Data and Knowledge Engineering, 2(1):76–90, 1990.

    Google Scholar 

  2. H. M. Jamil. Semantics of Behavioral Inheritance in Deductive Object-Oriented Databases. PhD Thesis (in preparation), Department of Computer Science, Concordia University, Canada, 1995.

    Google Scholar 

  3. H. M. Jamil and L. V. S. Lakshmanan. ORLOG: A Logic for Semantic Object-Oriented Models. In Proc. 1st Int. Conference on Knowledge and Information Management, pages 584–592, 1992.

    Google Scholar 

  4. H. M. Jamil and L. V. S. Lakshmanan. Reducing inheritance to deduction by completion. Technical report, Department of Computer Science, Concordia University, Montreal, Canada, March 1995. In Preparation.

    Google Scholar 

  5. M. Kifer, G. Lausen, and J. Wu. Logical Foundations for Object-Oriented and Frame-Based Languages. Technical Report TR-93/06, Department of Computer Science, SUNY at Stony Brook, 1993. (accepted to Journal of ACM).

    Google Scholar 

  6. R. Ramakrishnan, D. Srivastava, and S. Sudarshan. CORAL: Control, Relations and Logic. In Proc. of 18th VLDB Conference, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Concordia University, Montreal, Canada

    Hasan M. Jamil & Laks V. S. Lakshmanan

Authors
  1. Hasan M. Jamil
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Laks V. S. Lakshmanan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

V. S. Alagar Maurice Nivat

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jamil, H.M., Lakshmanan, L.V.S. (1995). An object-oriented front-end for deductive databases. In: Alagar, V.S., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1995. Lecture Notes in Computer Science, vol 936. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60043-4_81

Download citation

  • DOI: https://doi.org/10.1007/3-540-60043-4_81

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation