This is a preview of subscription content, log in via an institution to check access.
References
N. Arni, K. Ong, S. Tsur, and C. Zaniolo. LDL++: A second-generation deductive database system. Submitted for publication., 1994.
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/report.ps by anonymous ftp tocsri.toronto.edu.
A.J. Bonner and M. Kifer. An overview of transaction logic.Theoretical Computer Science, 133:205–265, October 1994.
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.
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.
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/flogic.ps.Z by anonymous ftp tocs.sunysb.edu.
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.
S. Naqvi and S. Tsur.A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989.
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.
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.
R. Ramakrishnan and J.D. Ullman. A survey of research on deductive database systems.Journal of Logic Programming, 1994. To appear.
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.
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.
T. Swift and D. S. Warren. An abstract machine for SLG resolution: Definite programs. InIntl. Logic Programming Symposium (ILPS), November 1994.
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.
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.
L. Vieille, P. Bayer, V. Kuchenhoff, and A. Lefebvre. EKS-VI, a short overview. InAAAI-90 Workshop on Knowledge Base Management Systems, 1990.
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.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kifer, M. Foreword: Deductive object-oriented databases. J Intell Inf Syst 4, 119–121 (1995). https://doi.org/10.1007/BF00961870
Issue Date:
DOI: https://doi.org/10.1007/BF00961870