Abstract
The IsaLog ¬ model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main issue is the definition of the semantics of the IsaLog language. The novel features are mostly due to the interaction of hierarchies with negation in the body of rules. Two semantics are presented and shown to be equivalent: a stratified semantics based on an original notion of stratification, needed in order to correctly deal with hierarchies, and a reduction to logic programming with function symbols. The solutions are based on a new technique (explicit Skolem functors) that provides a powerful tool for manipulating object identifiers.
This work was partially supported by MURST, within the Project “Metodi formali e strumenti per basi di dati evolute”, and by Consiglio Nazionale delle Ricerche, within “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, Obiettivo LOGIDATA+”. 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 A. Bonner. Objects and views. In ACM SIGMOD International Conf. on Management of Data, pages 238–247, 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.
H. Aït-Kaci and R. Nasr. LOGIN a logic programming language with built-in inheritance. Journal of Logic Programming, 3:185–215, 1986.
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 Kauffman, Los Altos, 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, L. Cabibbo, and G. Mecca. IsaLog ¬: a deductive language with negation for complex-objects databases with hierarchies. Technical report, Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, 1993.
P. Atzeni and L. Tanca. The LOGIDATA+ model and language. In Next Generation Information Systems Technology, Lecture Notes in Computer Science 504. Springer-Verlag, 1991.
C. Beeri. A formal approach to object-oriented databases. Data and Knowledge Engineering, 5:353–382, 1990.
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.
W. Chen and D.S. Warren. C-logic for complex objects. In Eigth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 369–378, 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.
M. Kifer, W. Kim, and Y. Sagiv. Querying object-oriented databases. In ACM SIGMOD International Conf. on Management of Data, pages 393–402, 1992.
M. Kifer and G. Lausen. F-logic: A higher order language for reasoning about objects, inheritance and scheme. In ACM SIGMOD International Conf. on Management of Data, pages 134–146, 1989.
M. Kifer and J. Wu. A logic for object-oriented logic programming (Maier's O-logic revisited). In Eigth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 379–393, 1989.
D. Maier. A logic for objects. In Workshop on Foundations of Deductive Database and Logic Programming (Washington, D.C. 1986), pages 6–26, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Atzeni, P., Cabibbo, L., Mecca, G. (1993). IsaLog¬: A deductive language with negation for complex-object databases with hierarchies. In: Ceri, S., Tanaka, K., Tsur, S. (eds) Deductive and Object-Oriented Databases. DOOD 1993. Lecture Notes in Computer Science, vol 760. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57530-8_14
Download citation
DOI: https://doi.org/10.1007/3-540-57530-8_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57530-6
Online ISBN: 978-3-540-48212-3
eBook Packages: Springer Book Archive