Abstract
The advantages of [[Florid]] as a deductive object-oriented database system are the rich object-oriented modeling facilities of its language F-logic. The focus of this paper is on [[Florid's]] multiple inheritance mechanism which turns out to be a useful means to adapt various examples of nonmonotonic reasoning in the object-oriented setting.
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul. Towards a deductive object-oriented database language. In W. Kim, J.-M. Nicolas, and S. Nishio, editors, Proc. Intl. Conference on Deductive and Object-Oriented Databases (DOOD), pages 419–438. North-Holland/Elsevier Science Publishers, 1989.
K. R. Apt and R. N. Bol. Logic programming and negation: A survey. Journal of Logic Programming, 19/20:9–71, 1994.
N. Bidoit. Negation in Rule-Based Database Languages: a Survey. Theoretical Computer Science, 78, 1991.
S. Brass, J. Dix, and T. C. Przymusinski. Super Logic Programs. In 5. International Conference on Principles of Knowledge Representation and Reasoning, 1996.
S. Brass and U. W. Lipeck. Bottom-up query evaluation with partially ordered defaults. In S. Ceri, K. Tanaka, and S. Tsur, editors, Proc. Intl. Conference on Deductive and Object-Oriented Databases (DOOD), number 760 in LNCS. Springer, 1993.
S. Ceri and R. Manthey. Chimera: A Model and Language for Active DOOD Systems. In J. Eder and L. Kalinichenko, editors, 2nd Intl. East-West Database Workshop, Klagenfurt, Austria, 1994. Springer.
J. Frohn, R. Himmeröder, P.-T. Kandzia, G. Lausen, and C. Schlepphorst. FLORID: A prototype for F-Logic. In Proc. Intl. Conference on Data Engineering, 1997.
J. Frohn, R. Himmeröder, P.-T. Kandzia, and C. Schlepphorst. How to write F-Logic programs in FLORID, 1996. Available from ftp://ftp.informatik.uni-freiburg.de/pub/florid/tutorial.ps.gz.
J. Frohn, G. Lausen, and H. Uphoff. Access to objects by path expressions and rules. In J. B. Bocca, M. Jarke, and C. Zaniolo, editors, Proc. Intl. Conference on Very Large Data Bases, Santiago de Chile, 1994.
M. Jarke, R. Gallersdörfer, M. A. Jeusfeld, and M. Staudt. ConceptBase — a deductive object base for meta data management. Journal of Intelligent Information Systems, 4(2):167–192, 1995.
M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42(4):741–843, July 1995.
P. Kolaitis and C. Papadimitriou. Why not negation by fixpoint? In Proc. ACM Symposium on Principles of Database Systems, pages 231–239, 1988.
M. Liu. ROL: A typed deductive object base language. Proc. Intl. Conference on Database and Expert Systems Applications (DEXA), 1996.
B. Ludäscher, U. Hamann, and G. Lausen. A logical framework for active rules. In Proc. 7th Intl. Conf. on Management of Data (COMAD), Pune, India, Dec. 1995. Tata McGraw-Hill.
J. D. Ullman. Principles of Database and Knowledge-Base Systems, volume 1. Computer Science Press, New York, 1988.
A. Van Gelder. The alternating fixpoint of logic programs with negation. Journal of Computer and System Sciences, 47(1):185–221, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kandzia, PT. (1997). Nonmonotonic reasoning in FLORID. In: Dix, J., Furbach, U., Nerode, A. (eds) Logic Programming And Nonmonotonic Reasoning. LPNMR 1997. Lecture Notes in Computer Science, vol 1265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63255-7_30
Download citation
DOI: https://doi.org/10.1007/3-540-63255-7_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63255-9
Online ISBN: 978-3-540-69249-2
eBook Packages: Springer Book Archive