Well-founded semantics for deductive object-oriented database languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1341, Issue , 1997, Pages 320-336

  May, Wolfgang ^a   Ludäscher, Bertram ^a   Lausen, Georg ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; RELATIONAL DATABASE SYSTEMS; SEMANTICS;

DATABASE LANGUAGE; DEDUCTIVE OBJECT ORIENTED DATABASE; F-LOGIC; FIXPOINTS; STATE SEQUENCES; UNDERLYING LANGUAGE; WELL FOUNDED SEMANTICS; WELL-FOUNDED MODELS;

OBJECT-ORIENTED DATABASES;

EID: 84948955115     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63792-3_23     Document Type: Conference Paper

References (27)

1. S. Abiteboul and J. V. den Bussche. Deep Equality Revisited. In Ling et al. [LMV95].
2. S. Abiteboul and S. Grumbach. A rule based language with functions and sets. A CM Transactions on Database Systems, 16(1):1-30, 1991
3. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley, 1995.
4. 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 O2, chapter 5, pages 98-127. Morgan Kaufmann, 1992.
5. J. B. Bocca, M. Jarke, and C. Zaniolo, editors. Proc. Intl. Conference on Very Large Data Bases, Santiago de Chile, 1994.
6. 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.
7. 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, Proe. ACM SIGMOD Intl. Conference on Management of Data, pages 225-236, 1990.
8. S. Ceri, K. Tanaka, and S. Tsur, editors. Proc. Intl. Conference on Deductive and Object-Oriented Databases (DOOD), number 760 in LNCS. Springer, 1993.
9. W. Chen and D. S. Warren. C-Logic for complex objects. In Proc. ACM Symposium on Principles of Database Systems, pages 369-378, 1989.
10. 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.
11. 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
12. J. Frohn, R. HimmerSder, P.-T. Kandzia, G. Lausen, and C. Schlepphorst. FLORID: A Prototype for F-Logic. In Proc. Intl. Conference on Data Engineering, 1997
13. J. Frohn, G. Lausen, and H. Uphoff. Access to Objects by Path Expressions and Rules. In Bocca et al. [BJZ94].
14. 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.
15. 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.
16. D. B. Kemp, K. Ramamohanarao, and P. J. Stuckey. ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS. In Ling et al. [LMV95].
17. M. Kifer and J. Wu. A logic for programming with complex objects. Journal of Computer and System Sciences, 47(1):77-120, August 1993.
18. B. Ludiischer, U. Hamann, and G. Lansen. A Logical Framework for Active Rules. In Proe. 7th Intl. Conf. on Management of Data (COMAD), Pune, India, December 1995. Tata McGraw-Hill.
19. M. Liu. ROL: A Deductive Object Base Language. Information Systems, 21(5):431-457, 1996.
20. T. W. Ling, A. O. Mendelzon, and L. Vieille, editors. Proc. Intl. Conference on Deductive and Object-Oriented Databases (19001)), number 1013 in LNCS, Singapore, 1995. Springer.
21. D. Maier. A logic for objects. In Workshop on Foundations of Deductive Databases and Logic Programming, pages 6-26, 1986.
22. I. S. Mumick and K. A. Ross. Noodle: A Language for Declarative Querying in an Object-Oriented Database. In Ceri et al. [CTT93].
23. W. May, C. Schlepphorst, and G. Lansen. Integrating Dynamic Aspects into Deductive Object-Oriented Databases. In A. Geppert and M. Berndtsson, editors, Proc. of the 3nd Intl. Workshop on Rules in Database Systems (RIDS), LNCS, SkSvde, Sweden, 1997.
24. A. Van Gelder. The Alternating Fixpoint of Logic Programs with Negation. Journal of Computer and System Sciences, 47(1):185-221, 1993.
25. A. Van Gelder, K. Ross, and J. Schlipf. Unfounded Sets and Well-Founded Semantics for General Logic Programs. In Proc. A CM Symposium on Principles of Database Systems, pages 221-230, 1988.
26. C. Zaniolo, N. Arni, and K. Ong. Negation and Aggregates in Recursive Rules: the/:79/:++ Approach. In Ceri et al. [CTT93].
27. 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.