Journal of Intelligent Information Systems

, Volume 4, Issue 2, pp 119–121 | Cite as

Foreword: Deductive object-oriented databases

  • Michael Kifer


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. N. Arni, K. Ong, S. Tsur, and C. Zaniolo. LDL++: A second-generation deductive database system. Submitted for publication., 1994.Google Scholar
  2. A.J. Bonner and M. Kifer. Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-270, University of Toronto, April 1992. Revised: February 1994. Available incsritechnical-reports/270/ by anonymous ftp Google Scholar
  3. A.J. Bonner and M. Kifer. An overview of transaction logic.Theoretical Computer Science, 133:205–265, October 1994.Google Scholar
  4. F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, and R. Zicari. Integrating object-oriented data modeling with a rule-based programming paradigm. InACM SIGMOD Conference on Management of Data, May 1990.Google Scholar
  5. J. Frohn, G. Lausen, and H. Uphoff. Access to objects by path expressions and rules. InIntl. Conference on Very Large Data Bases (VLDB), pages 273–284, Santiago, Chile, 1994.Google Scholar
  6. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Technical Report 93/06 (a revision of 90/14), Department of Computer Science, SUNY at Stony Brook, April 1993. To appear in Journal of ACM. Available inpub/TechReports/kifer/ by anonymous ftp Google Scholar
  7. I.S. Mumick and K.A. Ross. Noodle: A language for declarative querying in an object-oriented database. InIntl. Conference on Deductive and Object-Oriented Databases (DOOD), Phoenix, Arizona, December 1993.Google Scholar
  8. S. Naqvi and S. Tsur.A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989.Google Scholar
  9. G. Phipps, M.A. Derr, and K.A. Ross. Glue-Nail: A deductive database system. InACM SIGMOD Conference on Management of Data, pages 308–317, 1991.Google Scholar
  10. R. Ramakrishnan, D. Srivastava, S. Sudarshan, and P. Seshadri. Implementation of the CORAL deductive database system. InACM SIGMOD Conference on Management of Data, Washington, D.C., May 1993.Google Scholar
  11. R. Ramakrishnan and J.D. Ullman. A survey of research on deductive database systems.Journal of Logic Programming, 1994. To appear.Google Scholar
  12. K. Sagonas, T. Swift, and D.S. Warren. XSB as an efficient deductive database engine. InACM SIGMOD Conference on Management of Data, pages 442–453, May 1994.Google Scholar
  13. D. Srivastava, R. Ramakrishnan, P. Seshadri, and S. Sudarshan. Coral ++: Adding object-orientation to a logic database language. InIntl. Conference on Very Large Data Bases (VLDB), pages 158–170, August 1993.Google Scholar
  14. T. Swift and D. S. Warren. An abstract machine for SLG resolution: Definite programs. InIntl. Logic Programming Symposium (ILPS), November 1994.Google Scholar
  15. J. Vaghani, K. Ramamohanarao, D. Kemp, Z. Somogyi, and P. Stuckey. Design overview of the Aditi deductive database system. InSeventh International Conference on Data Engineering, pages 240–247, Kobe, Japan, 1991.Google Scholar
  16. J. Vaghani, K. Ramamohanarao, D.B. Kemp, Z. Somogyi, P.J. Stuckey, T.S. Leask, and J. Harland. The Aditi deductive database system.The VLDB Journal, pages 245–288, July 1994.Google Scholar
  17. L. Vieille, P. Bayer, V. Kuchenhoff, and A. Lefebvre. EKS-VI, a short overview. InAAAI-90 Workshop on Knowledge Base Management Systems, 1990.Google Scholar
  18. K. Yokota and H. Yasukawa. Towards an integrated knowledge-base management system. InProceedings of the Intl. Conference on Fifth Generation Computer Systems, pages 89–109, June 1992.Google Scholar

Copyright information

© Kluwer Academic Publishers 1995

Authors and Affiliations

  • Michael Kifer
    • 1
  1. 1.Department of Computer ScienceSUNY at Stony BrookStony Brook

Personalised recommendations