Abstract
In this paper we propose an approach to modeling dynamics and declarativeness in information systems (IS) by using general rules. The approach is based on object-oriented and logic languages co-operatively working within IS environment. The communication between the languages is organized by means of transformations from one language to another. We also consider methods for optimization of the co-operative work. A set of transformations, the usage of some general rules for problem solving and optimization technique based on partial deduction are presented and illustrated by means of examples.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul, G. Lausen, H. Uphoff, and E. Waller, Methods and Rules, ACM SIGMOD, 5:32–41, 1993.
E. Bertino, G. Gerrini, Deductive Object Bases, Proc of 8th European Conference, ECOOP’94, Springer-Verlag, LNCS,821, pages 213–236, 1994.
F. Bry, Query evaluation in recursive databases: bottom-up and top-down reconciled, Data & Knowledge Engineering, October, 5(4):289–312, 1990.
M. Bouzeghoub, E. Metais, Semantic Modeling of Object Oriented Databases, Proc. of the 17th Int. Conference on Very Large Data Bases, Barcelona, September, pages 3–4, 1991.
R. M. Burstall, J. Darlington, Some transformations for developing recursive programs, Journal of ACM, 24(1):44–67, 1977.
S. Ceri, G. Gottlob, and L. Tanca, Logic Programming and Databases, Springer-Verlag, Berlin, 1990.
S. Greco, N. Leone, and P. Rullo, COMPLEX: An Object-Oriented Logic Programming System, IEEE Transactions on Knowledge and Data Engineering, 4(4):344–359,1992.
H-M. Haav, M. Matskin, Using Partial Deduction for Automatic Propagation of Changes in OODB, Eds. H. Kangassalo et al. Information Modelling and Knowledge Bases IV: Foundations, Theory and Applications, IOS Press, Amsterdam, 339–352.
H-M. Haav, A Meta-Language for Specification of Evolving Class and Object Lattices in OODB, In: J. Eder and L.A. Kalinichenko (Eds.) Proc. of the Second International East/West Database Workshop, Springer, pages 147–159, 1995.
M. H. Ibrahim, F. A. Cummins, KSL/Logic: Integration of Logic with Objects, Proc. 1990 Int. Conf. on Comp. Lang., New Orleans, March 1990, Los Alamitos, CA: IEEE Comp. Soc. Press, pages 228–35, 1990.
M. Jeusfeld, M. Jarke, From relational to object-oriented integrity simplification, Proc. of the 2nd Int. Conf. on Deductive and Object-Oriented Databases, Munich, Dec, 1991.
M. Kifer and J. Wu, A Logic for Programming with Complex Objects, Journal of Computer and Systems Sciences, 47:77–120, 1993.
M. Kifer, G. Lausen, and J. Wu, Logical Foundations of Object-Oriented and Frame-Based Languages. Technical Report 93/06, Department of Computer Science, University at Stony Brook, April, 1993.
J. Komorowski, A Prolegomenon to Partial Deduction, Fundamenta Informaticae, 1(18):41–64, 1993.
LOGIDATA+:Deductive Databases with Complex Objects, P. Atzeni (Ed.), Springer-Verlag, LNCS, 701, 1993.
G. M. Lohman, B. Lindsay, H. Pirahesh, and K. B. Schiefer, Extensions to Starburst: Objects, Types, Functions and Rules, Communications of ACM, 34(10):94–110, 1991.
M. Matskin, J. Komorowski, Partial Deduction and Manipulation of Classes and Objects in an Object-Oriented Environment, Proceedings of the First Compulog-Network Workshop on Programming Languages in Computational Logic, Pisa, Italy, April 6–7, page 3, 1992.
C. Moss, Prolog++. The Power of Object-Oriented and Logic Programming, Addison-Wesley, 1994.
I. Petrounias, P. Loucopoulos, A Rule-Based Approach for the Design and Implementation of Information Systems, Proc. of EDBT’94, Springer-Verlag, LNCS 779, pages 159–172, 1994.
E. Tyugu, M. Matskin, J. Penjam, and P. Eomois, NUT — an Object-Oriented Language, Computer Science and Artificial Intelligence, 6:521–542, 1986.
M. Stonebraker, G. Kemnitz, The POSTGRES Next Generation Database Management System, Communications of ACM, 34(10):78–94, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 British Computer Society
About this paper
Cite this paper
Matskin, M., Haav, HM. (1996). A Deductive Object-Oriented Approach to Information System Modeling. In: Eder, J., Kalinichenko, L.A. (eds) Advances in Databases and Information Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-1486-4_28
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1486-4_28
Publisher Name: Springer, London
Print ISBN: 978-3-540-76014-6
Online ISBN: 978-1-4471-1486-4
eBook Packages: Springer Book Archive