Skip to main content
SpringerLink
Log in
Book cover

British National Conference on Databases

BNCOD 1993: Advances in Databases pp 176–198Cite as

A deductive object-oriented database for data intensive application development

  • Technical Papers
  • Conference paper
  • First Online:

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

Abstract

This paper outlines an approach to the development of a deductive object-oriented database system. The approach presented uses a formally defined object-oriented data model as the starting point for the development of a logic query language and an imperative database programming language. These languages can be used independently — the logic language for expressing queries or defining rule-based applications, the imperative language for manipulating the database — or together to support a flexible system for data-intensive application development.

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. Alia Abdelmoty, M. Howard Williams, and Michael Quinn. A Rule-Based Approach to Computerized Map Reading to be published in Information and Software Technology, 1993.

    Google Scholar 

  2. Alia Abdelmoty, M. Howard Williams, and Norman W. Paton. Deduction and Deductive Databases for Geographic Data Handling, to be published in 3rd Symposium on Spatial Databases (SSD), Springer-Verlag, 1993.

    Google Scholar 

  3. Serge Abiteboul. Towards a Deductive Object-Oriented Database Language. Data & Knowledge Engineering, 5:263–287, 1990.

    Google Scholar 

  4. Serge Abiteboul and Richard Hull. IFO: A Formal Semantic Database Model. ACM Transactions on Database Systems, 12(4):525–565, December 1987.

    Article  Google Scholar 

  5. Antonio Albano, Giorgio Ghelli, and Renzo Orsini. A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language. In G.M. Lohman et al., editor, Proceedings of 17th VLDB, pages 565–575, 1991.

    Google Scholar 

  6. T. Andrews and C. Harris. The Ontos Object Database. Ontologic Corp., 1989.

    Google Scholar 

  7. Malcolm Atkinson, and Peter Buneman. Types and Persistence in Database Programming Languages. ACM Computing Surveys, 19(2):105–190, 1988.

    Google Scholar 

  8. M.P. Atkinson, K.J. Chisholm, and W.P. Cockshott. PS-algol: An Algol with a Persistent Heap. ACM SIGPLAN Notices, 17, 1981.

    Google Scholar 

  9. Maria L. Barja. Design of a Database Programming Language for a DOOD Technical Report TR92016, Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS, Scotland, 1992.

    Google Scholar 

  10. FranÇois Bancilhon and Peter Buneman, editors. Advances in Database Programming Languages. Frontier Series. ACM Press/Addison-Wesley Publ. Co., New York, NY, 1990.

    Google Scholar 

  11. David Beech. A Foundation for Evolution from Relational to Object Databases. In M. Missikoff J.W.Schmidt, S. Ceri, editor, Proceedings of EDBT '88, LNCS 303, pages 251–270, March 1988. Springer-Verlag.

    Google Scholar 

  12. Subrata Das. Deductive Databases and Logic Programming. Addison-Wesley, 1992.

    Google Scholar 

  13. Claude Delobel, Michael Kifer, and Yoshifumi Masunaga. Deductive and Object-Oriented Databases (Second International Conference DOOD'91, Munich). Springer-Verlag, Berlin, 1991.

    Google Scholar 

  14. O. Deux et al. The Story of O 2. IEEE Transactions on Knowledge and Data Engineering, 2(1), March 1990.

    Google Scholar 

  15. Alvaro A.A. Fernandes, M. Howard Williams, and Norman W. Paton. A Formal Abstract Definition of Objects as a Data Modelling Primitive. Technical Report TR92003, Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS, Scotland. June 1992.

    Google Scholar 

  16. Alvaro A.A. Fernandes. An Object-Oriented Logic by Examples Technical Report, Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS, Scotland, September 1992.

    Google Scholar 

  17. Alvaro A.A. Fernandes, M. Howard Williams, Norman W. Paton, and Andrew Bowles. Approaches to Deductive Object-Oriented Databases. Information and Software Technology, Vol 34, No 12, 787–803, 1992.

    Google Scholar 

  18. Georges Gardarin. Rule Languages for Relational and Object-Oriented Databases. Proc. 9th BNCOD, M.S. Jackson and A.E. Robinson (eds), 1–16, 1991.

    Google Scholar 

  19. Elizabeth Fong, William Kent, Ken Moore and Craig Thompson X3/ SPARC/ DBSSG/ OODBTG Final Report, September, 1991.

    Google Scholar 

  20. Peter M.D. Gray, Krishna G. Kulkarni, and Norman W. Paton. Object-Oriented Databases: A Semantic Data Model Approach. Prentice-Hall, 1992.

    Google Scholar 

  21. Michael Hammer and Dennis McLeod. Database Description with SDM: A Semantic Database Model. ACM Transactions on Database Systems, 6(3):351–386, September 1981.

    Article  Google Scholar 

  22. Michael Kifer and Georg Lausen. F-logic: A Higher-Order Language for Reasoning about Objects, Inheritance and Scheme. In James Clifford, Bruce Lindsay, and David Maier, editors, Proceedings ACM SIGMOD Conference, 134–146, 1989.

    Google Scholar 

  23. Won Kim, Elisa Bertino, Jorge F. Garza. Composite Objects Revisited. In James Clifford, Bruce Lindsay, and David Maier, editors, Proceedings of ACM SIGMOD Conference, 337–347, 1989.

    Google Scholar 

  24. D. Maier, J. Stein, A. Otis, and A. Purdy. Development of an Object-Oriented DBMS. In OOPSLA '86, pages 472–482, 1986. ACM Press.

    Google Scholar 

  25. Geoffrey Phipps, Marcia A. Derr, and Kenneth A. Ross. Glue-Nail: A Deductive Database System. In James Clifford and Roger King, editors, Proceedings of ACM SIGMOD Conference, pages 308–317, 1991. ACM Press.

    Google Scholar 

  26. Alexandra Poulovassilis and Peter King. Extending the Functional Data Model to Computational Completeness. In C. Thanos F. Bancilhon and D. Tsichritzis, editors, EDBT '90, pages 75–91. Springer-Verlag, March 1990.

    Google Scholar 

  27. Joel E. Richardson and Michael J. Carey. Implementeing Persistence in E. In John Rosenberg and David Koch (eds), Persistent Object Systems, pages 175–199. Springer-Verlag, 1989.

    Google Scholar 

  28. David W. Shipman. The Functional Data Model and the Data Language DAPLEX. ACM Transactions on Database Systems, 6(1):140–173, 1981.

    Article  Google Scholar 

  29. The Comittee for Advanced DBMS Function. Database Systems: Achievements and Opportunities. ACM SIGMOD Record, 19(3):31–44, September 1990. The Committee is composed of Michael Stonebraker, Lawrence A. Rowe, Bruce Lindsay, James Gray, Michael Brodie, Philip Bernstein, and David Beech.

    Google Scholar 

  30. Carlo Zaniolo. The Database Language GEM. In Proceedings of the 1983 ACM SIGMOD International Conference on the Management of Data. ACM Press, 207–218, 1983.

    Google Scholar 

  31. Peter Wegner Concepts and Paradigms of Object-Oriented Programming OOPS Messenger, 1(1):7–87, August 1990.

    Google Scholar 

  32. M. Howard Williams, Norman W. Paton, Alia Abdelmoty, Alvaro A.A. Fernandes, Maria L. Barja. Applying Advanced Database Techniques to Geographic Information Systems. JFIT Technical Conference, Keele, March, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing and Electrical Engineering, Heriot-Watt University, EH14 4AS, Riccarton, Edinburgh, Scotland, UK

    Alvaro A. A. Fernandes, Maria L. Barja, Norman W. Paton & M. Howard Williams

Authors
  1. Alvaro A. A. Fernandes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maria L. Barja
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Norman W. Paton
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. M. Howard Williams
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Frederick Worboys Anna Frances Grundy

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fernandes, A.A.A., Barja, M.L., Paton, N.W., Williams, M.H. (1993). A deductive object-oriented database for data intensive application development. In: Worboys, M.F., Grundy, A.F. (eds) Advances in Databases. BNCOD 1993. Lecture Notes in Computer Science, vol 696. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56921-9_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-56921-9_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56921-3

  • Online ISBN: 978-3-540-47785-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation