Abstract
Logres is a new database programming language which is based on the integration of the object-oriented data modelling paradigm and of the rule-based approach for the specification of database queries and updates [C+90]. In Logres, we propose a solution to deductive databases update problems which allows to keep declarativity within each module, while moving control outside modules. We present theorems indicating sufficient conditions for ensuring the consistency of a Logres database state and introduce a new, non-deterministic semantics for Logres programs.
This paper was partially supported by project LOGIDATA+, of the National Research Council of Italy, and by the Esprit project STRETCH, sponsored by the EEC.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
M. Atkinson, F. Bancilhon, D. De Witt, K. Dittrich, D. Maier, S. Zdonik: The Object-Oriented Database System Manifesto. Proc. First Int. Conf. on Deductive and Object-Oriented Databases, Kyoto, 1989.
S. Abiteboul, S. Grumbach: COL: a Logic-based Language for Complex Objects. Proc. 1988 EDBT.
S. Abiteboul: Updates, a New Frontier. Proc. 1988 ICDT.
S. Abiteboul, P.C. Kanellakis: Object Identity as a Query Language Primitive. Proc. 1989 SIGMOD.
S. Abiteboul, E. Simon: Fundamental properties of deterministic and nondeterministic extension od Datalog. Journees Bases de Données Avancés, September 1989.
S. Abiteboul, E. Simon, V. Vianu: Non-deterministic Languages to Express Deterministic Transformations. Proc. 1990 PODS.
S. Abiteboul, V. Vianu: Datalog Extensions for Database Queries and Updates. INRIA Rep. n. 900, September 1988.
S. Abiteboul, V. Vianu: Non-determinism in Logic-Based Languages. Tech. Rep. n. CS89-159, University of California, San Diego.
C. Beeri: Data Models and Languages for Databases. Proc. 1988 ICDT.
L. Cardelli: A semantics of multiple inheritance. Information and Computation, 76:138–164, 1988.
F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, R. Zicari: The Logres project: Integrating Object-Oriented Data Modelling with a Rule-Based Programming Paradigm. PdM Report n. 89-039.
F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, R. Zicari: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. Proc. 1990 SIGMOD.
F. Cacace, S. Ceri, L. Tanca: Updates and consistency in the Logres language PdM Report n. 90-017.
S. Ceri, G. Gottlob, L. Tanca: Logic Programming and Databases. Springer Verlag (to appear in 1990).
R. Hull, M. Yoshikawa: ILOG: Declarative Creation and Manipulation of Object Identifiers. Proc. 1990 VLDB.
T. Imielinski, S. Naqvi: Explicit control of Logic Programs through Rule Algebra. Proc. 1988 PODS.
KEE Reference Manual, release 3.0, Intellicorp 1986.
M. Kifer, J. Wu: A Logic for Object Oriented Programming (Maier's O-Logic Revisited). Proc. 1989 PODS.
C. Lecluse, P. Richard and F. Velez: O2, an Object-Oriented Data Model. Proc. 1988 SIGMOD.
C. de Maindreville, E. Simon: Modelling queries and updates in a deductive database. Proc. 1988 VLDB.
S. Manchanda, D.S. Warren: A logic-based language for database updates. In Foundations of Logic Programming and Deductive Databases, ed. J. Minker (1987).
K. Morris, J.D. Ullman, A. Van Gelder: Design overview of the NAIL! system. Proc. ICLP, 1986.
S. Naqvi, S. Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press, New York, 1989.
Y. Sheng: IDLOG: Extending the Expressive Power of Deductive Database Languages. Proc 1990 SIGMOD.
Y. Sheng: The Expressive Power of Deductive Databases Languages with tupleidentifications. In preparation.
D. Saccá, C. Zaniolo: Stable Models and Non.Determinism in Logic Programs with Negation. Proc. 1990 PODS.
J.D. Ullman: Principles of Databases and Knowledge-Base Systems. Volume I, Computer Science Press, Potomac, MD, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cacace, F., Ceri, S., Tanca, L. (1991). Consistency and non-determinism in a database programming language. In: Thalheim, B., Demetrovics, J., Gerhardt, H.D. (eds) MFDBS 91. MFDBS 1991. Lecture Notes in Computer Science, vol 495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54009-1_23
Download citation
DOI: https://doi.org/10.1007/3-540-54009-1_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54009-0
Online ISBN: 978-3-540-47348-0
eBook Packages: Springer Book Archive