Marilisa Carboni, et al.  Home/Search
Context
Related
Links: ACM | di.unipi.it/pub/techrep...TR9605.ps.Z 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: di.unipi.it/ricerca/tr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We show how a fragment of the logical data language LDL++ can be used to define an abstract machine supporting the essence of active/deductive object-oriented databases. We exhibit a compilation into the mentioned logic language of the basic features of the object model, including the schema definition language, the query language with multiple roles, the basic update operations, and a form of active rules. The target logic language, which is essentially Datalog extended with non-determinism... (Update)
Similar documents (at the sentence level):
29.2%: Datalog++: a Basis for Active Object-Oriented Databases - Giannotti, Manco, Nanni.. (Correct)
5.5%: A Deductive Data Model for Representing and Querying.. - Giannotti, Manco.. (1997) (Correct)
Active bibliography (related documents): More All
0.3: Towards Integration Of Deductive Databases And.. - Yokota, Nishio (1989) (Correct)
0.3: Bases, (Kyoto, Japan), August 1986. [37] M. J. Carey, D. J. .. - Sigmod Records Vol (Correct)
0.2: Mutable Object State for Object-Oriented Logic Programming: A.. - Alexiev (1993) (Correct)
Similar documents based on text: More All
0.9: On the Effective Semantics of Nondeterministic.. - Giannotti, Manco.. (1999) (Correct)
0.9: Nondeterministic, Nonmonotonic Logic Databases - Giannotti, Manco, Nanni.. (Correct)
0.6: Expressive Power of Non-Deterministic Operators.. - Corciulo.. (1994) (Correct)
BibTeX entry: (Update)
@techreport{ carboni96logic,
author = "Marilisa Carboni and Fosca Giannotti and Giuseppe Manco and Dino Pedreschi",
title = "A Logic Abstract Machine for Active Object-Oriented Databases",
number = "TR-96-05",
month = "26,",
year = "1996",
url = "citeseer.ist.psu.edu/carboni96logic.html" }
Citations (may not include all citations):775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995 ACM DBLP
413 Logical Foundations of Object-Oriented and Frame-Based Progr.. - Kifer, Lausen et al. - 1993
119 LOGIN: A Logic Programming Language with Built-in Inheritanc.. (context) - Kaci, Nasr - 1986 ACM DBLP
78 Aspects: Extending Objects to Support Multiple (context) - Richardson, Schwarz - 1990
76 An Object Data Model with Roles - Albano, Bergamini et al. - 1993 ACM DBLP
68 Stable Models and Non-determinism in Logic Programs with Neg.. - Sacca, Zaniolo - 1990 ACM DBLP
59 A logic-Based Language for Database Updates (context) - Manchanda, Warren - 1986 ACM DBLP
31 Non-Determinism in Deductive Databases - Giannotti, Pedreschi et al. - 1991 DBLP
30 Negation and Aggregates in Recursive Rules: The LDL++ Approa.. - Zaniolo, Arni et al. - 1993 DBLP
29 Dynamic Constraints and Object Migration - Su - 1991 ACM DBLP
27 Using Dynamic Classes and Role Classes to Model Object Migra.. - Wieringa, de Jonge et al. - 1995 ACM DBLP
25 Relating Stable Models and AI Planning Domains - Subrahmanian, Zaniolo - 1995 DBLP
23 Object Identity and Inheritance in Deductive Databases - An .. (context) - Zaniolo - 1989 DBLP
18 A Second Generation Deductive Databases Systems (context) - Arni, Ong et al. - 1993
16 Declarative Specification and Evaluation of Database Updates (context) - Chen - 1991 DBLP
15 Deductive Object Databases - Bertino, Guerrini et al. - 1995 ACM DBLP
12 Declarative Expression of Deductive Database Updates (context) - Manchanda - 1989 ACM DBLP
10 Computer System Research Institute (context) - Bonner, Kifer et al. - 1993
6 A Model for Updates and Transactions in Deductive Databases (context) - Montesi - 1993
3 Towards a Deductive Object-Oriented Databases (context) - Abiteboul - 1992
1 Active Database Rules with Transaction Cunscious Stable Mode.. (context) - Zaniolo - 1995
1 Declarative Reconstruction of Updates in Logic Databases: A .. (context) - Carboni, Foddai et al. - 1995 DBLP
1 Deductive and Object-Oriented Databases - Abiteboul - 1992 ACM DBLP
1 A Logic For Encapsulation in Obiect-Oriented Languages (context) - Bugliesi, Jamil - 1994
Documents on the same site (http://www.di.unipi.it/ricerca/tr.html): More
Verification of Logic Programs - Pedreschi, Ruggieri (1997) (Correct)
Making Abstract Interpretations Complete - Giacobazzi, Ranzato (1997) (Correct)
Chemical Tree Enumeration Algorithms. - Aringhieri, Hansen, Malucelli (1999) (Correct)
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