Abstract
A language for the LOGIDATA+ model is presented. The language is rule-based and allows for the management of complex structures, classes, hierarchies and data functions. Negation is allowed in the body of rules. The semantics is based on a fixpoint operator and represents an extension of ordinary declarative-language semantics. The main issue is the management of oid-invention, that is, the creation and manipulation of objects belonging to the classes of a scheme. In order to correctly deal with negation and multivalued data functions, an extended notion of stratification is introduced.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Work supported by CNR, “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, ” and by MURST, within the Project “Metodi formali e strumenti per basi di dati evolute.” The first author is now with Terza Università di Roma. The second author is partially supported by Systems & Management S.p.A.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul and S. Grumbach. A rule-based language with functions and sets. ACM Trans. on Database Syst., 16(1):1–31, January 1991.
S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In ACM SIGMOD International Conf. on Management of Data, pages 159–173, 1989.
S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. Journal of Comp. and System Sc., 43(1):62–124, August 1991.
K. Apt, H. Blair, and A. Walker. Toward a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89–148. Morgan Kaufmann, San Mateo, California, 1988.
P. Atzeni, L. Cabibbo, and G. Mecca. IsaLog: A declarative language for complex objects with hierarchies. In Ninth IEEE International Conference on Data Engineering, Vienna, 1993.
P. Atzeni, F. Cacace, S. Ceri, and L. Tanca. The LOGIDATA+ model. This volume.
C. Beeri. A formal approach to object-oriented databases. Data and Knowledge Engineering, 5:353–382, 1990.
L. Cabibbo and G. Mecca. Travel agency: a LOGIDATA+ application. This volume.
F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, and R. Zicari. Integrating object oriented data modelling with a rule-based programming paradigm. In ACM SIGMOD International Conf. on Management of Data, pages 225–236, 1990.
L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76(2):138–164, 1988.
S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Data Bases. Springer-Verlag, 1989.
R. Hull and M. Yoshikawa. ILOG: Declarative creation and manipulation of object identifiers. In Sixteenth International Conference on Very Large Data Bases, Brisbane, pages 455–468, 1990.
J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.
S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, Potomac, Maryland, 1989.
J.D. Ullman. Principles of Database and Knowledge Base Systems, volume 1. Computer Science Press, Potomac, Maryland, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Atzeni, P., Cabibbo, L., Mecca, G., Tanca, L. (1993). The LOGIDATA+ language and semantics. In: Atzeni, P. (eds) LOGIDATA+: Deductive Databases with Complex Objects. Lecture Notes in Computer Science, vol 701. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021888
Download citation
DOI: https://doi.org/10.1007/BFb0021888
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56974-9
Online ISBN: 978-3-540-47844-7
eBook Packages: Springer Book Archive