Abstract
We present a well-founded semantics for deductive object-oriented database (dood) languages by applying the alternating-fixpoint characterization of the well-founded model to them. In order to compute the state sequence, states are explicitly integrated by making them first-class citizens of the underlying language. The concept is applied to Florid, an implementation of F-Logic, previously supporting only inflationary negation. Using our approach, well-founded models of F-Logic programs can be computed.
The method is also applicable to arbitrary dood languages which provide a sufficiently flexible syntax and semantics. Given an implementation of the underlying database language, any program given in this language can be evaluated wrt. the well-founded semantics.
Supported by grant no. GRK 184/1-97 of the Deutsche Forschungsgemeinschaft.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul and J. V. den Bussche. Deep Equality Revisited..
S. Abiteboul and S. Grumbach. A rule based language with functions and sets. ACM Transactions on Database Systems, 16(1):1–30, 1991.
S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley, 1995.
S. Abiteboul and P. C. Kanellakis. Object Identity as a Query Language Primitive. In F. Bancilhon, C. Delobel, and P. Kanellakis, editors, Building an Object-Oriented Database System — The Story of O 2, chapter 5, pages 98–127. Morgan Kaufmann, 1992.
J. B. Bocca, M. Jarke, and C. Zaniolo, editors. Proc. Intl. Conference on Very Large Data Bases, Santiago de Chile, 1994.
M. L. Barja, N. W. Paton, A. A. A. Fernandes, M. H. Williams, and A. Dinn. An Effective Deductive Object-Oriented Database Through Language Integration. In Bocca et al. [BJZ94], pages 463–474.
F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, and R. Zicari. Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. In H. Garcia-Molina and H. V. Jagadish, editors, Proc. ACM SIGMOD Intl. Conference on Management of Data, pages 225–236, 1990.
S. Ceri, K. Tanaka, and S. Tsur, editors. Proc. Intl. Conference on Deductive and Object-Oriented Databases (DOOD), number 760 in LNCS. Springer, 1993.
W. Chen and D. S. Warren. C-Logic for complex objects. In Proc. ACM Symposium on Principles of Database Systems, pages 369–378, 1989.
J. Dix. Semantics of Logic Programs: Their Intuitions and Formal Properties. In A. Fuhrmann and H. Rott, editors, Logic, Action and Information. de Gruyter, 1995.
P. M. Dung. On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and N-Person Games. Artificial Intelligence, 77:312–357, 1995.
J. Frohn, R. Himmeröder, P.-T. Kandzia, G. Lausen, and C. Schlepphorst. FLORID: A Prototype for F-Logic. In Proc. Intl. Conference on Data Engineering, 1997.
J. Frohn, G. Lausen, and H. Uphoff. Access to Objects by Path Expressions and Rules. In Bocca et al. [BJZ94].
R. Hull and M. Yoshikawa. ILOG: Declarative Creation and Manipulation of Object Identifiers. In D. McLeod, R. Sacks-Davis, and H.-J. Schek, editors, Proc. Intl. Conference on Very Large Data Bases, pages 455–468, Brisbane, 1990.
M. Kifer, G. Lausen, and J. Wu. Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the ACM, 42(4):741–843, July 1995.
D. B. Kemp, K. Ramamohanarao, and P. J. Stuckey. ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS..
M. Kifer and J. Wu. A logic for programming with complex objects. Journal of Computer and System Sciences, 47(1):77–120, August 1993.
B. Ludäscher, U. Hamann, and G. Lausen. A Logical Framework for Active Rules. In Proc. 7th Intl. Conf. on Management of Data (COMAD), Pune, India, December 1995. Tata McGraw-Hill.
M. Liu. ROL: A Deductive Object Base Language. Information Systems, 21(5):431–457, 1996.
T. W. Ling, A. O. Mendelzon, and L. Vieille, editors. Proc. Intl. Conference on Deductive and Object-Oriented Databases (DOOD), number 1013 in LNCS, Singapore, 1995. Springer.
D. Maier. A logic for objects. In Workshop on Foundations of Deductive Databases and Logic Programming, pages 6–26, 1986.
I. S. Mumick and K. A. Ross. Noodle: A Language for Declarative Querying in an Object-Oriented Database. In Ceri et al. [CTT93].
W. May, C. Schlepphorst, and G. Lausen. Integrating Dynamic Aspects into Deductive Object-Oriented Databases. In A. Geppert and M. Berndtsson, editors, Proc. of the and Intl. Workshop on Rules in Database Systems (RIDS), LNCS, Skövde, Sweden, 1997.
A. Van Gelder. The Alternating Fixpoint of Logic Programs with Negation. Journal of Computer and System Sciences, 47(1):185–221, 1993.
A. Van Gelder, K. Ross, and J. Schlipf. Unfounded Sets and Well-Founded Semantics for General Logic Programs. In Proc. ACM Symposium on Principles of Database Systems, pages 221–230, 1988.
C. Zaniolo, N. Arni, and K. Ong. Negation and Aggregates in Recursive Rules: the LDL++ Approach. In Ceri et al. [CTT93].
U. Zukowski, B. Freitag, and S. Brass. Improving the Alternating Fixpoint: The Transformation Approach. In 4th Intl. Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'97), LNAI, Berlin, 1997. Springer.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
May, W., Ludäscher, B., Lausen, G. (1997). Well-founded semantics for deductive object-oriented database languages. In: Bry, F., Ramakrishnan, R., Ramamohanarao, K. (eds) Deductive and Object-Oriented Databases. DOOD 1997. Lecture Notes in Computer Science, vol 1341. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63792-3_23
Download citation
DOI: https://doi.org/10.1007/3-540-63792-3_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63792-9
Online ISBN: 978-3-540-69647-6
eBook Packages: Springer Book Archive