Elisa Bertino, Giovanna Guerrini  Home/Search
Context Related
Links: ACM | disi.unige.it/person/Gu...tapos11.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: disi.unige.it/researc...group_pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper proposes a new approach to model deductive object databases. Each object database is described by means of a Datalog language extended with extensional updates, called U-Datalog. Objects can change state and cooperate. We introduce an extension of U-Datalog to approach the problem of composition among object databases. It can be used for modular database design and for cooperation among deductive objects. The resulting language has a clear semantics for the evolution of objects... (Update)
Context of citations to this paper: More
.... been developed in [7, 8] A second extension is towards a more general data model such as object oriented in the deductive context [9, 11]. Finally, other relevantdevelopments include semantic integrity constraints [42] Even if important, we do not consider in this paper...
Cited by: More
The Coordination Language Facility: coordination of.. - Jean-Marc Andreoli Steve (1996) (Correct)
Transactions and Updates in Deductive Databases - Montesi, Bertino, Martelli (1995) (Correct)
Similar documents (at the sentence level):
20.1%: Deductive Object Databases - Bertino (1994) (Correct)
Active bibliography (related documents): More All
0.5: Functional Logic Design Patterns - Antoy, Hanus (2002) (Correct)
0.4: Inheritance in a Deductive Object Database Language with.. - Bertino, Guerrini, Montesi (Correct)
0.4: Deductive and Object-Oriented Databases - Abiteboul (1992) (Correct)
Similar documents based on text: More All
1.3: Generic Methods in Deductive Object Databases - Elisa Bertino (1994) (Correct)
0.6: A Bottom-Up Interpreter for a Database Language with Updates.. - Bertino Catania (1993) (Correct)
0.6: Static Analysis of Transactional Intensional Databases.. - Bertino, al. (1994) (Correct)
BibTeX entry: (Update)
E. Bertino, G. Guerrini and D. Montesi. Towards Deductive Object Databases, To appear in Journal of Theory and Pratice of Object Systems, John Wiley & Sons, 1994. http://citeseer.ist.psu.edu/bertino94towards.html More
@article{ bertino95towards,
author = "Elisa Bertino and Giovanna Guerrini and Danilo Montesi",
title = "Towards Deductive Object Databases",
journal = "Theory and Practice of Object Sytems",
volume = "1",
number = "1",
pages = "19--39",
year = "1995",
url = "citeseer.ist.psu.edu/bertino94towards.html" }
Citations (may not include all citations):1002 Programming Language (context) - Hill, Lloyd - 1994
981 Principles of Database and Knowledge-Base Systems (context) - Ullman - 1989 ACM
280 Object Identity as a Query Language Primitive (context) - Abiteboul, Kanellakis - 1989 ACM DBLP
247 The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989 ACM DBLP
218 Logic Programming and Databases (context) - Ceri, Gottlob et al. - 1990 ACM DBLP
167 Dimensions of Object-Based Language Design (context) - Wegner - 1987 ACM DBLP
99 Logic: A Higher-Order Language for Reasoning about Objects (context) - Kifer, Lausen - 1990
98 Query-by-example: a Data Base Language (context) - Zloof - 1977
71 COL: A Logic Based Language for Complex Objects (context) - Abiteboul, Grumbach - 1990
61 Transaction logic programming - Bonner, Kifer - 1993 ACM DBLP
61 Object-Oriented programming in Concurrent Prolog (context) - Shapiro, Takeuchi - 1983
59 A Logic-based Language for Database Updates (context) - Manchanda, Warren - 1987 ACM DBLP
58 Contextual Logic Programming (context) - Monteiro, Porto - 1989 DBLP
57 A Compositional Semantics for Logic Programs (context) - Bossi, Gabbrielli et al. - 1994 ACM DBLP
56 Modularity in Logic Programming - Bugliesi, Lamina et al. - 1994 ACM DBLP
50 a New Frontier (context) - Abiteboul - 1988
48 A Logic for Object-Oriented Logic Programming (context) - Kifer, Wu - 1989 ACM
45 A Logic for Objects (context) - Maier - 1986
43 Methods and rules - Abiteboul, Lausen et al. - 1993 ACM DBLP
41 Procedural and Declarative Database Update Languages (context) - Abiteboul, Vianu - 1988 ACM DBLP
40 Towards an object calculus - Nierstrasz - 1991
39 Logic of Complex Objects (context) - Chen, Warren - 1989
39 An Algebra of Logic Programs (context) - Mancarella, Pedreschi - 1988 DBLP
36 A Theory of Modules for Logic Programming (context) - Miller - 1986 DBLP
34 The Promise of Distributed Computing and the Challenges of L.. - Brodie - 1992 ACM DBLP
33 Typed Sets as a Basis for Object-Oriented Database Schemas - Balsters, de By et al. - 1993 ACM DBLP
30 Performance Evaluation of Data Intensive Logic Pro- grams (context) - Bancilhon, Ramakrishnan - 1987
29 IEEE Transactions on Knowledge and Data Engineering (context) - Baral, Kraus et al. - 1991
29 A Declarative View of Inheritance in Logic Programming (context) - Bugliesi - 1992
28 COMPLEX: An Object-Oriented Logic Programming System (context) - Greco, Leone et al. - 1990 DBLP
27 Towards a Logical-Object Oriented Programming Language for D.. (context) - Bertino, Montesi - 1992
23 Compositional Model-theoretic Semantics for Logic Programs (context) - Brogi, Lamina et al. - 1992
22 Login: a Logic Programming Language With Built-In Inheritanc.. (context) - AJt-Kaci, Nasr - 1986 ACM DBLP
20 LLO: An Object-Oriented Deductive Language with Methods and .. (context) - Lou, Ozsoyoglu - 1991
20 Differential Logic Programming - Bossi, Bugliesi et al. - 1993
19 A Deductive and Typed Object-Oriented Language (context) - Bal, Balsters - 1993 DBLP
17 Chimera: A Model and Language for active DOOD Systems - Ceri, Manthey - 1994 DBLP
17 Concurrent Structured Processes (context) - Andreoli, Pareschi et al. - 1990
17 Object Inheritance Beyond Subtyping - Costa, Sernadas et al. - 1994 ACM DBLP
15 Deductive Object Databases - Bertino, Guerrini et al. - 1994 ACM DBLP
12 Modeling Database Updates with Constraint Logic Programming (context) - Bertino, Martelli et al. - 1992
11 Objects as Intensions (context) - Chen, Warren - 1988 DBLP
10 Constraints and Object Identity - Lopez, Freeman-Benson et al. - 1994 ACM DBLP
8 Using Active Objects for Query Processing - Jungclaus, Saake et al. - 1990 DBLP
8 A Deductive Database Language Supporting Modules - Freitag - 1992
6 A Model for Updates and Transactions in Deductive Databases (context) - Montesi - 1993
5 Transaction Processing Concepts and Tecniques (context) - Gray, Reuter - 1993
5 A Bottom-Up Interpreter for a Database Language with Updates.. - Bertino, Catania et al. - 1994
4 Transaction Optimization in Rule Databases - Bertino, Catania et al. - 1994
4 Information System Centre Hewlett-Packard Laboratories (context) - Manley, Cox et al. - 1990
3 Modelling Concurrent Accesses to Shared Data via Petri Nets (context) - De Francesco, Montanari et al. - 1994 ACM DBLP
3 Computer Science Press (context) - Naqvi, Tsur et al. - 1989
3 An Overview of LOL: a Deductive Language for Object Bases (context) - Bertino, Catshis et al. - 1993
3 The Logres project: Integrating Object-Oriented Data Modelli.. (context) - Cacace, Ceri et al. - 1989
2 Generic Methods in Deductive Object Databases - Bertino, Guerrini et al. - 1994 DBLP
2 An Overview of LIFE (context) - At-Kaci - 1991 DBLP
1 A Trasformational View of Inheritance in Logic Programming (context) - Monteiro, Porto - 1990
1 Constraint for Synchronizing Coarse-grained Sequential Logic.. (context) - Brogi, Gabbrielli - 1991
1 Composition Operators for Logic The- ories (context) - Brogi, Mancarella et al. - 1990
1 Prentice-Hall Press (context) - McCabe, Objects - 1992
Documents on the same site (http://www.disi.unige.it/research/Databases/group_pub.html): More
Implementing Active Rules in an Object Database System - Guerrini, al. (1994) (Correct)
Deductive Object Databases - Bertino (1994) (Correct)
Transaction Optimization in Rule Databases - Bertino, Catania, Guerrini.. (1994) (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