Abstract
This paper presents a novel typed deductive database programming language LOL being developed at the University of Regina. This language effectively integrates important features in object-oriented data models, complex object data models, functional data models, and deductive query languages in a uniform framework. It supports object identity, structured values, complex objects, classes, class hierarchy, multiple inheritance as in object-oriented data models and complex object models. It treats atomic values, object identifiers, functor objects, tuples and sets uniformly so that functional dependencies can be represented directly and more generally than in functional data models. As a result, it subsumes most existing deductive database languages as special cases. The LOL language is given a well-defined declarative semantics that cleanly accounts for its object-oriented and complex object features.
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul and S. Grumbach. COL: A logic-based language for complex objects. ACM TODS, 16(1):1–30, 1991.
S. Abiteboul and P. C. Kanellakis. Object identity as a query language primitive. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 159–173, 1989.
K.R. Apt, H.A. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundation of Deductive Databases and Logic Programming, pages 89–148. Morgan Kaufmann Publishers, 1988.
F. Bancilhon and S. Khoshafian. A calculus for complex objects. J. Computer and System Sciences, 38:326–340, 1989.
C. Beeri. Formal models for object-oriented databases. In W. Kim, J.M. Nicolas, and S. Nishio, editors, Deductive and Object-Oriented Databases, pages 405–430, Kyoto, Japan, December 1989. North-Holland.
C. Beeri, S. Naqvi, O. Shmueli, and S. Tsur. Set construction in a logic database language. J. Logic Programming, 10(3,4):181–232, April/May 1991.
O. P. Buneman, S. B. Davidson, and A. Watters. A semantics for complex objects and approximate answers. J. Computer and System Sciences, 43:170–218, 1991.
F. Cacace, S. Ceri, S. Crepi-Reghizzi, L. Tanca, and R. Zicari. Integrating object-oriented data modelling with a rule-based programming paradigm. In Proc. Intl. Conf. on Very Large Data Bases, pages 251–261, 1990.
L. Cardelli. A semantics of multiple inheritance. In Proc. Intl. Symp. on Semantics of Data Types, pages 51–67. Springer-Verlag Lecture Notes in Computer Science 173, June 1984.
S. Ceri, G. Gottlob, and T. Tanca. Logic Programming and Databases. Springer-Verlag, 1990.
D. H. Fishman, B. B., H. P. Cate, E. C. Chow, T. Connors, J. W. Davis, N. Derrett, C. G. Hoch, W. Kent, P. Lyngbaek, B. Mahbod, M. A. Neimat, T. A. Ryan, and M. C. Shan. Iris: An object-oriented database management system. ACM Trans. on Office Information Systems, 5(1):48–69, January 1987.
B. C. Housel, V. Waddle, and S. B. Yao. The functional dependency model for logical database design. In Proc. Intl. Conf. on Very Large Data Bases, 1979.
M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of ACM, 42:741–843, 1995.
M. Kifer and J. Wu. A logic for programming with complex objects. J. Computer and System Sciences, 47:77–120, 1993.
W. Kim. A model of queries for object-oriented databases. In Proc. Intl. Conf. on Very Large Data Bases, Amsterdam, The Netherlands, 1989.
G. M. Kuper. Logic programming with sets. J. Computer and System Sciences, 41:44–64, 1990.
C. Lecluse and P. Richard. The O 2 database programming language. In Proc. Intl. Conf. on Very Large Data Bases, pages 411–422, Amsterdam, The Netherlands, 1989.
M. Liu. Relationlog: A typed extension to datalog with sets and tuples (extended abstract). In Proc. Intl. Logic Programming Symp., pages 83–97, Portland, Oregon, U.S.A., December 1995. MIT Press.
M. Liu. ROL: A deductive object base language. To Appear in Information Systems, 1996.
J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2 edition, 1987.
D. Maier. A logic for objects. Technical Report CS/E-86-012, Oregon Graduate Center, Beaverton, Oregon, 1986.
A. Ohori. Semantics of types for database objects. Theoretical Computer Science, 76:53–91, 1990.
F. Pfenning, editor. Types in Logic Programming. MIT Press., 1992.
R. Ramakrishnan, D. Srivastava, and S. Sudarshan. CORAL: Control, relations and logic. In Proc. Intl. Conf. on Very Large Data Bases, pages 238–250, 1992.
D. W. Shipman. The functional extending the database relational model to capture more meaning. ACM Trans. on Database Systems, 4(4):297–434, December 1979.
J. Ullman. A comparison between deductive and object-oriented databases systems. In C. Delobel, M. Kifer, and Y. Masunaga, editors, Deductive and Object-Oriented Databases, pages 263–277, Munich, Germany, December 1991. Springer-Verlag Lecture Notes in Computer Science 566.
J.D. Ullman. Principles of Database and Knowledge-Base Systems, volume 1. Computer Science Press, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, M. (1996). The LOL deductive database programming language (extended abstract). In: Kuchen, H., Doaitse Swierstra, S. (eds) Programming Languages: Implementations, Logics, and Programs. PLILP 1996. Lecture Notes in Computer Science, vol 1140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61756-6_103
Download citation
DOI: https://doi.org/10.1007/3-540-61756-6_103
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61756-3
Online ISBN: 978-3-540-70654-0
eBook Packages: Springer Book Archive