Advertisement

Arithmetic and aggregate operators in deductive object-oriented databases

  • Gillian Dobbie
  • Rodney Topor
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1154)

Abstract

We extend our previous mathematical foundation for a deductive object-oriented language called Gulog to include arithmetic and aggregate operators. We describe the semantics of the extended language and present a corresponding query evaluation procedure.

Keywords

Logic Program Finite Domain Simple Program Ground Instance Deductive Database 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    S. Abiteboul. Towards a deductive object oriented database language. Data and Knowledge Engineering, 5:263–287, 1990.Google Scholar
  2. 2.
    S. Abiteboul and R. Hull. Data-functions, datalog and negation. In Proc. of the ACM SIGMOD International Conference on the Management of Data, pages 143–153, 1988.Google Scholar
  3. 3.
    A. Chandra and D. Harel. Computable queries for relational data bases. Journal of Computer and System Sciences, pages 156–178, 1980.Google Scholar
  4. 4.
    G. Dobbie. Foundations of Deductive Object-Oriented Database Systems. Phd thesis, University of Melbourne, 1995.Google Scholar
  5. 5.
    D. Harel and T. Hirst. Completeness results for recursive data bases. In Proceedings of the Twelth ACM PODS Symposium on Principles of Database Systems, 1993.Google Scholar
  6. 6.
    D. B. Kemp and P. J. Stuckey. Semantics of logic programs with aggregates. In V. Saraswat and K. Ueda, editors, Proc. 1991 International Logic Programming Symposium, pages 387–401, San Diego, USA, 1991.Google Scholar
  7. 7.
    M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Technical Report 90/14 (revised), Department of Computer Science, State University of New York at Stony Brook, 1990. Further revised as Technical Report 93/06, April 1993.Google Scholar
  8. 8.
    T. C. Przymusinski. On the declarative semantics of deductive databases and logic programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193–216. Morgan Kaufmann, 1988. Further revised as [9].Google Scholar
  9. 9.
    T. C. Przymusinski. Every logic program has a natural stratification and an iterated fixed point model. In Proceedings of the Eighth ACM PODS Symposium on Principles of Database Systems, pages 11–21, 1989.Google Scholar
  10. 10.
    R. Ramakrishnan, D. Srivastava, and S. Sudarshan. Controlling the Search in Bottom-Up Evaluation. In Proc. of the Joint Int. Conference and Symposium on Logic Programming, pages 273–287, Washington DC, November 1992.Google Scholar
  11. 11.
    K. A. Ross. Modular stratification and magic sets for DATALOG programs with negation. In Proc. of the ACM SIGMOD International Conference on the Management of Data, pages 161–171, 1990.Google Scholar
  12. 12.
    D. Srivastava, R. Ramakrishnan, P. Seshadri, and S. Sudarshan. Coral++: Adding object-orientation to a logic database language. In Proc. of the 19th VLDB Conference, Dublin, Ireland, 1993.Google Scholar
  13. 13.
    R. W. Topor. Safe database queries with arithmetic relations. In Proc. 14th Australian Computer Science Conference, pages 02-1–02-13, 1991.Google Scholar
  14. 14.
    A. Van Gelder. Foundations of aggregation in deductive databases. In S. Ceri, K. Tanaka, and S. Tsur, editors, Proceedings of the Third International Conference on Deductive and Object-Oriented Databases, 1993.Google Scholar
  15. 15.
    C. Zaniolo, N. Arni, and K. Ong. Negation and aggregates in recursive rules: the LDL++ approach. In S. Ceri, K. Tanaka, and S. Tsur, editors, Proceedings of the Third International Conference on Deductive and Object-Oriented Databases, pages 204–221, Arizona, USA, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Gillian Dobbie
    • 1
  • Rodney Topor
    • 2
  1. 1.Department of Computer ScienceVictoria University of WellingtonNew Zealand
  2. 2.School of Computing and Information TechnologyGriffith UniversityNathanAustralia

Personalised recommendations