Wolfgang May, Bertram Ludäscher, Georg Lausen  Home/Search
Context Related
| sdsc.edu/~ludaesch/P...dood97wfs.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sdsc.edu/~ludaesch/P...dood97wfs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We present a well-founded semantics for deductive objectoriented 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 ... (Update)
Context of citations to this paper: More
.... is the three valued Well Founded Semantics [VGRS91] A three valued model is not supported by Florid but can easily be simulated [MLL97] cf. Example 14.10) A very common approach is to stratify logic programs and to compute the perfect model [ABW88, Prz88]...
...such as OLOG that supports both partial and complete set terms. If only partial set terms are supported, then its introduction to deductive object oriented database languages is straightforward [29]. We would like to investigate this issue in our future research....
Cited by: More
A Framework for Generic Integration of XML Sources - May (2001) (Correct)
Managing Semistructured Data With Florid: A Deductive.. - Ludäscher, al. (1998) (Correct)
OLOG: A Deductive Object Database Language (Extended Abstract) - Liu (1999) (Correct)
Similar documents (at the sentence level):
5.4%: Integrating Dynamic Aspects into Deductive.. - May, Schlepphorst, Lausen (1997) (Correct)
Active bibliography (related documents): More All
0.7: On Active Deductive Databases: The Statelog Approach - Lausen, Ludäscher, May (1998) (Correct)
0.5: FLORID - Ein Prototyp für F-Logik - Frohn, Himmeröder, Kandzia, Lausen, .. (1997) (Correct)
0.3: Nonmonotonic Inheritance in Object-Oriented Deductive Database .. - May, Kandzia (1999) (Correct)
Similar documents based on text: More All
0.4: Referential Actions as Logical Rules - Ludäscher, May (Correct)
0.4: Querying the Web with FLORID - Himmeröder, Ludäscher (1998) (Correct)
0.3: On a Declarative Semantics for Web Queries - Himmeröder, Lausen, Ludäscher (1997) (Correct)
Related documents from co-citation: More All
7: Logical Foundations of Object-Oriented and Frame-Based Languages - Kifer, Lausen et al. - 1990
3: Integrating Dynamic Aspects into Deductive Object-Oriented Databases - May, Schlepphorst et al. - 1997
3: Access to objects by path expressions and rules - Frohn, Lausen et al. - 1994
BibTeX entry: (Update)
W. May, B. Ludascher, and G. Lausen. Well-Founded Semantics for Deductive Object-Oriented Database Languages. In F. Bry, K. Ramamohanarao, and R. Ramakrishnan, editors, Intl. Conference on Deductive and Object-Oriented Databases (DOOD), number 1341 in LNCS, pp. 320--336, Montreux, Switzerland, 1997. Springer. http://citeseer.ist.psu.edu/may97wellfounded.html More
@inproceedings{ may97wellfounded,
author = "Wolfgang May and Bertram Ludascher and Georg Lausen",
title = "Well-Founded Semantics for Deductive Object-Oriented Database Languages",
booktitle = "Deductive and Object-Oriented Databases",
pages = "320-336",
year = "1997",
url = "citeseer.ist.psu.edu/may97wellfounded.html" }
Citations (may not include all citations):775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
413 Logical Foundations of Object-Oriented and Frame-Based Langu.. - Kifer, Lausen et al. - 1995
280 Object Identity as a Query Language Primitive (context) - Abiteboul, Kanellakis - 1992
159 the Acceptability of Arguments and its Fundamental Role in N.. - Dung - 1995
85 ILOG: Declarative Creation and Manipulation of Object Identi.. (context) - Hull, Yoshikawa - 1990
82 Semantics of Logic Programs: Their Intuitions and Formal Pro.. - Dix - 1995
58 The Alternating Fixpoint of Logic Programs with Negation (context) - Van Gelder - 1993
47 Integrating Object-Oriented Data Modeling with a Rule-Based .. (context) - Cacace, Ceri et al. - 1990
45 A logic for objects (context) - Maier - 1986
41 A logic for programming with complex objects (context) - Kifer, Wu - 1993
39 Logic for complex objects (context) - Chen, Warren - 1989
39 A rule based language with functions and sets (context) - Abiteboul, Grumbach - 1991
38 Unfounded Sets and Well-Founded Semantics for General Logic .. (context) - Van Gelder, Ross et al. - 1988
36 ROL: A Deductive Object Base Language - Liu - 1996
30 Negation and Aggregates in Recursive Rules: the LDL++ Approa.. - Zaniolo, Arni et al.
28 An Effective Deductive Object-Oriented Database Through Lang.. - Barja, Paton et al.
28 Access to Objects by Path Expressions and Rules - Frohn, Lausen et al.
21 Noodle: A Language for Declarative Querying in an Object-Ori.. - Mumick, Ross
20 A Logical Framework for Active Rules (context) - Ludascher, Hamann et al. - 1995
13 FLORID: A Prototype for F--Logic - Frohn, Himmeroder et al. - 1997
11 Deep Equality Revisited - Abiteboul, den Bussche
6 Improving the Alternating Fixpoint: The Transformation Appro.. - Zukowski, Freitag et al. - 1997
5 Integrating Dynamic Aspects into Deductive Object-Oriented D.. - May, Schlepphorst et al. - 1997
5 ELS Programs and the Efficient Evaluation of Non-Stratified .. (context) - Kemp, Ramamohanarao et al.
2 Conference on Very Large Data Bases (context) - Bocca, Jarke et al. - 1994
2 Conference on Deductive and Object-Oriented Databases (context) - Ling, Mendelzon et al. - 1995
1 Conference on Deductive and Object-Oriented Databases (context) - Ceri, Tanaka et al. - 1993
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC