Abstract
This paper proposes a knowledge representation DOT (Deductive and Objectoriented Term representation), which employs extended terms to describe the properties of objects using dot notation and IS-A relation. Its semantics is provided on a quasi-ordering structure called DOT algebra. DOT presents a simple framework for inheritance and becomes an inference engine for knowledge-bases constructed from the IS-A relation. We discuss how to resolve three fundamental problems of DOT algebra, and demonstrate that a class of queries called bounded query can be evaluated by those resolution methods, in which a regular expression of automata theory assumes a central role.
Preview
Unable to display preview. Download preview PDF.
References
Aït-Kaci, H., “An Algebraic Semantics Approach to the Effective Resolution of Type Equations,” Journal of Theoretical Computer Science, Vol. 45, pp. 293–351, 1986.
Atkinson, M., Bancilhon, F., DeWitt, D., Dittrich, K., Maier, D., and Zdonik, S., “The Object-Oriented Database System Manifesto,” Deductive and Object-Oriented Databases (Kim, W., Nicolas, J.M. and Nishio, S. (Eds.)), North-Holland, Amsterdam, pp.223–240, 1990.
Beeri, C., Nasr, R., and Tsur, S., “Embedding ψ-terms in a Horn-clause Logic Language,” Proc. of the 3rd Int'l Conf. on Data and Knowledge Bases, pp. 347–359, 1988.
Chen, W., Kifer, M., and Warren, D. S., “Hilog as a Platform for Database Languages (or why predicate calculus is not enough),” Proc. of the 2nd Int'l Workshop on Database Programming Language, pp. 121–135, 1989.
Chen, W., Warren, D. S., “C-Logic for Complex Objects,” Proc. of the 8th ACM SIGACT.SIGMOD Symp. on Prin. of Database Systems, pp. 369–378, 1989.
Hopcroft, J. E. and Ullman, J. D., Introduction to Automata Theory, Language and Computation, Addison-Wesley Publishing Co., Inc. Reading, Mass., 1979.
Kifer, M. and Lausen, G., “F-Logic: A Higher-Order Language for Reasoning About Objects, Inheritance, and Scheme,” Proc. of the 1989 ACM SIGMOD Int'l Conf. on the Management of Data, pp. 134–146, 1989.
Kifer, M., Lausen, G., and Wu, J., “Logical Foundation of Object-Oriented and Frame-Based Languages,” Technical Report 90/14 (revised), Dept. of Computer Science, University of New York at Stony Brook, 1990.
Kifer, M. and Wu, J., “A Logic for Object-Oriented Logic Programming (Maier's OLogic Revisited),” Proc. of the 8th ACM SIGACT-SIGMOD Symp. on Prin. of Database Systems, pp. 379–93, 1989.
Kim, W., Nicolas, J.-N., and Nishio, S. (Eds.), “Deductive and Object-Oriented Databases,” North-Holland, Amsterdam, 1990.
Maier, D., “A Logic for Objects,” Proc. of Workshop on Foundation of Deductive Databases and Logic Programming, pp. 6–26, 1986.
Monta, Y., Haniuda, H., and Yokota, K., “Object Identity in QUIXOTE,” Report of SIGDBS, 90-DBS-80, pp. 109–118, 1990.
Tsukamoto, M., Nishio, S. and Fujio, M., “A Knowledge Representation using DOT Notation,” Working Paper, Department of Information and Computer Sciences, Osaka University, 1991.
Tsukamoto, M., Nishio, S., Fujio, M., and Miyamoto, M., “Query Processing for a Knowledge-Base Using DOT Algebra,” Proc. of the 1st Int'l workshop on Interoperability in Multidatabase Systems, pp. 46–53, 1991.
Tsukamoto, M., Nishio, S., and Hasegawa, T., “DOT: A Term Representation for Deductive and Object-Oriented Databases,” Proc. of Advanced Database System Symposium, IPSJ, pp. 231–240, 1989. (in Japanese)
Ullman, J.D., Database and Knowledge-Base Systems, Volume I, Computer Science Press, 1988.
Vardi, M. Y., “Automata Theory for Database Theoreticians,” Proc. of the 8th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, pp. 83–92, 1989.
Yasukawa, H. and Yokota, K., “Labeled Graphs as Semantics of Objects,” Report of SIGDBS, IPSJ, 90-DBS-80, pp. 119–127, 1990.
Yokota, K., “Outline of a Deductive and Object-Oriented Database Language Juan (Extended Abstract),” Report of SIGDBS, IPSJ, 90-DBS-78, pp. 149–157, 1990.
Zaniolo, C., “The Representation and Deductive Retrieval of Complex Objects,” Proc. of VLDB, pp. 458–469, 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tsukamoto, M., Nishio, S., Fujio, M. (1991). DOT: A term representation using DOT algebra for knowledge-bases. In: Delobel, C., Kifer, M., Masunaga, Y. (eds) Deductive and Object-Oriented Databases. DOOD 1991. Lecture Notes in Computer Science, vol 566. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55015-1_21
Download citation
DOI: https://doi.org/10.1007/3-540-55015-1_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55015-0
Online ISBN: 978-3-540-46646-8
eBook Packages: Springer Book Archive