L. Bertossi, M. Arenas, and C. Ferretti. SCDBR: An Automated Reasoner for Speci cations of Database Updates. Journal of Intelligent Information Systems, 10(3):253-280, 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Coherent Composition of Distributed.. - Arieli, Van.. (2001) (Correct)
....system is one of the subjects for a future work. 5 Conclusion and further work In this paper we have developed a formal declarative foundation for rendering coherent data, provided by di erent knowledge bases, and presented an application that implements this approach. Like other systems (e.g. [6, 14, 20, 29]) our system mediates among the sources of information and between the reasoner and the underlying data. Composing distributed data by a meta theory in ID logic yields a robust and easily extendable system. Extra meta information about the data facts, such as time stamps and source, are easily ....
L.Bertossi, M.Arenas, C.Ferretti. SCDBR: An automated reasoner for speci cations of database updates. Intelligent information Systems 10(3), 253-280, 1998.
Specifying Active Rules for Database Maintenance - Bertossi, Pinto Self-citation (Bertossi) (Correct)
....(SC) MH69] a language of many sorted predicate logic for representing knowledge and reasoning about actions and change. Apart from providing a natural and well studied semantics, the formalism can be used to solve di erent reasoning tasks. For instance, reason about the evolution of a database [BAF98], reason about the hypothetical evolutions of a database [AB98a] reason about the dynamics of views [AB98b] etc. In the SC formalism, each relational table is represented by a table predicate. Each table predicate has one situation argument which is used to denote the This research has been ....
....3. For some interesting syntactical classes of rami cation ICs, there are mechanisms for compiling them into E ect Axioms, from which the SSAs can be re computed. Then, the explicit ICs disappear and they turn out to be logical consequences of the new speci cation [McI97,Pin99] see also [BAF98] for implementation issues) 4. It is also possible to think of a database maintenance approach, consisting of adding active rules to a modi cation of the original speci cation. These rules enforce the satisfaction of the ICs by triggering appropriate auxiliary actions. Preliminary work on ....
[Article contains additional citation context not shown here]
L. Bertossi, M. Arenas, and C. Ferretti. SCDBR: An Automated Reasoner for Speci cations of Database Updates. Journal of Intelligent Information Systems, 10(3):253-280, 1998.
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